SysML Models for Discrete Event Logistics Systems. [PDF]
J Res Natl Inst Stand Technol, 2020 Sprock T, Bock C.
europepmc +1 more source
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]
Sensors (Basel), 2023 Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source
Visualized shared mental modeling: an adapted practical framework for interdisciplinary teams solving complex problems in healthcare. [PDF]
BMC Health Serv ResSatcher MF +4 more
europepmc +1 more source
Dynamic Fault Tree Generation and Quantitative Analysis of System Reliability for Embedded Systems Based on SysML Models. [PDF]
Sensors (Basel)Chu C, Yang W, Chen Y.
europepmc +1 more source
Safety Requirements Identification in Suborbital Payload Experiments
Journal of Aerospace Technology and ManagementIn the concept, design, and development phases of suborbital payload scientific experiments, designers tend to focus on what will be tested using automation and procedures that support the vehicle and space environment.
Heuller Aloys Carneiro Procópio +2 more
doaj
Report from MDE practice: An interview-based evaluation of model-driven engineering uses. [PDF]
PLoS OneAlfraihi H, Lano K.
europepmc +1 more source
A tensor-based formulation of hetero-functional graph theory. [PDF]
Sci Rep, 2022 Farid AM, Thompson DJ, Schoonenberg W.
europepmc +1 more source
Automated building energy modeling for energy retrofits using a large language model-based multi-agent framework. [PDF]
iScienceLu J +9 more
europepmc +1 more source
A Framework for Cybersecurity Requirements Management in the Automotive Domain. [PDF]
Sensors (Basel), 2023 Luo F, Jiang Y, Wang J, Li Z, Zhang X.
europepmc +1 more source
FPGA-based real-time simulation of mismatched photovoltaic arrays. [PDF]
Heliyon, 2022 Carabali-Isajar A +4 more
europepmc +1 more source