Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems

Figure 1

Stakeholders of the flood warning, monitoring, and rescue system-of-systems (flood-WMR SoS).