Formal architecture and verification of a smart flood monitoring system-of-systems.

Nadeem Akhtar Saima Khan

Published in: Int. Arab J. Inf. Technol. (2019)

Keyphrases

monitoring system
management system
health monitoring
formal methods
data acquisition
expert systems
remote monitoring
patient care
real time
computer systems
heterogeneous wireless sensor networks
vital signs
water level
smart environments
model checking
intrusion detection
artificial intelligence