Modeling high assurance agent-based Earthquake Management System using formal techniques

Journal article

Peer reviewed

Sarmad Sadik, Alade Rahman, Arshad Ali, H FAROOQ AHMAD and Hiroki Suguri

The Journal of supercomputing, Vol.52(2), pp.97-118

01/05/2010

Abstract

Applied sciences

Artificial intelligence

Computer science; control theory; systems

Computer systems and distributed systems. User interface

Exact sciences and technology

Software

1 Record Views

Title: Modeling high assurance agent-based Earthquake Management System using formal techniques
Creators - without role: Sarmad Sadik - National University of Sciences and Technology
Alade Rahman - National University of Sciences and Technology
Arshad Ali - National University of Sciences and Technology
H FAROOQ AHMAD - NUST Institute of Information Technology, Rawalpindi, Pakistan
Hiroki Suguri - Communication Technologies, Sendai, Japan
Publication Details: The Journal of supercomputing, Vol.52(2), pp.97-118
Publisher: Springer
Identifiers: 9916725708331
Academic Unit: Islamic University of Al Madinah
Language: English
Resource Type: Journal article