View of Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System

Return to Article Details Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System Download Download PDF