Author of the publication

Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems.

, , , and . SMC, page 4271-4276. IEEE, (2023)

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

A modified wheatstone-style head-mounted display prototype for narrow field-of-view video see-through augmented reality., , , , , and . SIGGRAPH Posters, page 6:1-6:2. ACM, (2016)An Efficient Probe-Based Routing for Content-Centric Networking., , and . Sensors, 22 (1): 341 (2022)Sensor Activity Control Strategy for Random Access Wireless Sensor Network Systems., , and . ICS, page 110-115. IEEE, (2020)Bi-color coding for screen visual content., , , and . APSIPA, page 1-5. IEEE, (2014)Compliance Enforcement of Temporal and Dosage Constraints., , , , , and . RTSS, page 359-368. IEEE Computer Society, (2006)Low-latency implementation of 360 panoramic video viewing system., , , , , and . ISPACS, page 576-579. IEEE, (2017)iNuC: An Intelligent Mobile Nursing Cart., , , , and . BMEI, page 1-6. IEEE, (2009)A Query-based Routing Table Update Mechanism for Content-Centric Network., , , and . CoRR, (2021)An Efficient Graph Convolution Network for Skeleton-Based Dynamic Hand Gesture Recognition., and . IEEE Trans. Cogn. Dev. Syst., 15 (4): 2179-2189 (December 2023)Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems., , , and . SMC, page 4271-4276. IEEE, (2023)