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...

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 18, Issue 2; číslo 2
Hlavní autoři:	Zarneshan, Mahsa, Ghassemi, Fatemeh, Khamespanah, Ehsan, Sirjani, Marjan, Hatcliff, John
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science e.V 01.01.2022
Témata:	Communication patterns computer science - logic in computer science nbsp Reduction Timing properties
ISSN:	1860-5974, 1860-5974
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!