Specification and Verification of Timing Properties in Interoperable Medical Systems

To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices has been proposed. To address timing requirements, each pattern breaks common timing properties into finer ones that can b...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 18, Issue 2; no. 2
Main Authors:	Zarneshan, Mahsa, Ghassemi, Fatemeh, Khamespanah, Ehsan, Sirjani, Marjan, Hatcliff, John
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 01.01.2022
Subjects:	Communication patterns computer science - logic in computer science nbsp Reduction Timing properties
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!