Login / Signup
Modeling high assurance agent-based Earthquake Management System using formal techniques.
Sarmad Sadik
M. Alade Rahman
Arshad Ali
Hafiz Farooq Ahmad
Hiroki Suguri
Published in:
J. Supercomput. (2010)
Keyphrases
</>
management system
high assurance
expert systems
open source
data mining
cooperative
access control
fault tolerant