Login / Signup
Specification and Verification of Timing Properties in Interoperable Medical Systems.
Mahsa Zarneshan
Fatemeh Ghassemi
Ehsan Khamespanah
Marjan Sirjani
John Hatcliff
Published in:
CoRR (2020)
Keyphrases
</>
asynchronous circuits
formal methods
management system
complex systems
database
formal verification
desirable properties
digital libraries
expert systems
distributed systems
web service technology
medical data
computer systems
high level
web services
metadata
artificial intelligence
data mining
real time