Author of the publication

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).

, , , , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Solutions for Some Practical Problems in Prioritized Preemptive Scheduling., , and . RTSS, page 181-191. IEEE Computer Society, (1986)Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift., , , , , and . CoRR, (2019)A Bluetooth loop scatternet formation algorithm., , and . ICC, page 1174-1180. IEEE, (2003)Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems., , , , and . EMSOFT, page 5:1-5:10. IEEE, (2013)Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols., , , , and . ICCAD, page 957-963. IEEE, (2017)The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture., , , and . IEEE J. Biomed. Health Informatics, 19 (3): 1077-1086 (2015)Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring., , and . IEEE Syst. J., 9 (4): 1354-1362 (2015)Real-time virtual machines for avionics software migration., and . Int. J. Embed. Syst., 2 (3/4): 156-165 (2006)Local Group Communication-aware MAC Protocol in Wireless Sensor Networks., , and . Int. J. Wirel. Inf. Networks, 13 (4): 275-287 (2006)A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport., , , , and . MMSys, page 158-163. ACM, (2017)