From post

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.

 

Другие публикации лиц с тем же именем

Compositional Verification of Architectural Models., , , , , и . NASA Formal Methods, том 7226 из Lecture Notes in Computer Science, стр. 126-140. Springer, (2012)Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift., , , , , и . CoRR, (2019)A Bluetooth loop scatternet formation algorithm., , и . ICC, стр. 1174-1180. IEEE, (2003)Solutions for Some Practical Problems in Prioritized Preemptive Scheduling., , и . RTSS, стр. 181-191. IEEE Computer Society, (1986)Deterministic Real-time Thread Scheduling, , и . CoRR, (2011)A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport., , , , и . MMSys, стр. 158-163. ACM, (2017)Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis., , , , и . CoRR, (2017)The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture., , , и . IEEE J. Biomed. Health Informatics, 19 (3): 1077-1086 (2015)Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)., , , , и . CoRR, (2018)Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)., , , , и . CoRR, (2018)