Login / Signup
Specification and Verification of Timing Properties in Interoperable Medical Systems.
Mahsa Zarneshan
Fatemeh Ghassemi
Ehsan Khamespanah
Marjan Sirjani
John Hatcliff
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
asynchronous circuits
formal methods
reactive systems
artificial intelligence
knowledge based systems
desirable characteristics
formal languages
formal verification
medical domain
medical diagnosis
computer systems
distributed systems
management system
expert systems
digital libraries
high level
web services