Login / Signup
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft.
Seonmo Kim
Wonhong Nam
Hyunyoung Kil
Myunghwan Park
Published in:
Comput. Sci. Eng. (2014)
Keyphrases
</>
monitoring system
formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
data acquisition
health monitoring
field bus
virtual instrument
heterogeneous wireless sensor networks
water level
decision making
temporal logic
health status