Specifying Services with UML and UML-RT
Electronic Notes in Theoretical Computer Science, 2002 openaire +1 more source
A blended modeling framework for real-time design and verification of safety-critical embedded systems. [PDF]
PLoS OneAwan MM, Anwar MW, Butt WH, Azam F.
europepmc +1 more source
Safety Considerations in Deployment of Robotic Systems – A Systematic Review
Journal of Field Robotics, Volume 43, Issue 1, Page 5-33, January 2026.ABSTRACT An in‐depth understanding of the risks related to robotic systems is crucial to guarantee safety throughout all stages of robot design and operations. This required a thorough risk assessment following international standards. This study presents a systematic review of previous research on safety considerations in the design of robotic systems,
Adedire D. Adesiji +6 more
wiley +1 more source
Machine Learning Model for the Prediction of Hubbard U Parameters and Its Application to Fe-O Systems. [PDF]
J Chem Theory ComputXia W +5 more
europepmc +1 more source
Penerapan Konsep UML Dalam Perancangan Sistem Manajemen Kependudukan RW 022, Kelurahan Kebalen
Zaima Syarifa Asshafa, Apriade Voutama
openalex +2 more sources
Triune Continuum Paradigm and Problems of UML Semantics [PDF]
, 2003 Andrey Naumenko, Alain Wegmann
openalex
A Catalogue Of Sounds For UML Class Diagrams - Experimental Study
, 2023 Nuno Renato Guerreiro
openalex +1 more source
MBSE Co‐Pilot: A Research Roadmap
Systems Engineering, Volume 29, Issue 1, Page 20-33, January 2026.ABSTRACT As the complexity of engineered systems continues to increase, Model‐Based Systems Engineering (MBSE) methodologies, languages, and tools are increasingly insufficient to meet the demands of modern systems engineering. This paper proposes a research roadmap for the development of an AI‐driven machine, referred to as MBSE Co‐Pilot, designed to ...
Wenheng Zhang +6 more
wiley +1 more source
Unsupervised machine learning-based stratification and immune deconvolution of liver hepatocellular carcinoma. [PDF]
BMC CancerReierson MM, Acharjee A.
europepmc +1 more source
Time‐ and Behaviour‐Preserving Execution of Determinate Supervisory Control
IET Cyber-Physical Systems: Theory &Applications, Volume 11, Issue 1, January/December 2026.The activity framework is a model‐based framework incorporating a model of activities with determinate timing and behaviour, and a strong mathematical foundation based on max‐plus algebra that allows efficient timing analysis and optimisation of CPS. Preserving the specified behaviour and the model‐predicted timing in an implementation is challenging ...
Alireza Mohamadkhani +3 more
wiley +1 more source