A blended modeling framework for real-time design and verification of safety-critical embedded systems. [PDF]
Awan MM, Anwar MW, Butt WH, Azam F.
europepmc +1 more source
TWINVAX: conceptual model of a digital twin for immunisation services in primary health care. [PDF]
De Oliveira El-Warrak L +1 more
europepmc +1 more source
Blockchain applications in electronic health records: a systematic review of qualitative and quantitative evidence. [PDF]
Chandak A, Chandak P, Soni N.
europepmc +1 more source
A conceptual ethical framework to preserve natural human presence in the use of AI systems in education. [PDF]
Isop WA.
europepmc +1 more source
Clinician-Focused Connected Health Requirements Gathering for Attention-Deficit/Hyperactivity Disorder Through Clinical Journey Mapping: Design Science Study. [PDF]
Harris R, Murray D, McSweeney A, Adam F.
europepmc +1 more source
Related searches:
Formalizing UML State Machines for Automated Verification – A Survey
ACM Computing Surveys, 2023Etienne André, Shuang Liu
exaly
UML 2.0 and agents: how to build agent-based systems with the new UML standard
Engineering Applications of Artificial Intelligence, 2005Bernhard Bauer, James Odell
exaly

