Home
Login
Register

Search Results

Search Results for: Property

Formal Verification of Safety and Liveness Properties using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2018, Volume 9, Issue No 1

Author(s): Nadeem Akhtar, Abdul Rehman, Dost Muhammad Khan

Keyword(s): Flood monitoring, Formal modeling, Formal verification, Safety property, Liveness property, Coloured Petri Nets (CPNs), Event-B, RODIN

Category

SOCIAL AND CULTURAL STUDIES
ENGINEERING AND TECHNOLOGY

Year

2015 or earlier
2016
2017
2018
2019
2020
2021
2022

Journal

Close

About PRDB.pk

Pakistan Research Database helps individuals, professionals and institutions to access all research published in Pakistan at one platform.

CareerGuidance
eAdmissions

About Us
Work for PRDB
Contact Us
Privacy Policy
Copyright Policy
End User Terms