ISSN: 1683-3198
|
e-ISSN: 2309-4524
|
DOI: 10.34028/iajit
Submit your Paper
Track your Paper
The International Arab Journal of Information Technology
(IAJIT)
Home
Aims and Scopes
About IAJIT
Current Issue
Archives
Submission
Announcement
Indexing
Contact Us
Home
/
Search for: Flood monitoring
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Review Paper
Instructions to Reviewers
Statistics
Formal Architecture and Verification of a Smart Flood Monitoring System-of-Systems
Nadeem Akhtar1 and Saima Khan2 1Department of Computer Science and IT, the Islamia University of Bahawalpur, Pakistan 2Department of Computer Science Faculty of Computer Science and Information Technology, Virtual
#Flood monitoring; system-of-systems; behavioral modeling; formal verification; correctness; safety property
All Rights reserved to IAJIT 2024
Powered by:
TurnPoint
