𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Sarmad Sadik; Alade Rahman; Arshad Ali; H. Farooq Ahmad; Hiroki Suguri

Book ID
106539468
Publisher
Springer US
Year
2009
Tongue
English
Weight
858 KB
Volume
52
Category
Article
ISSN
0920-8542

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[IEEE SMC '03 2003 IEEE International Co
[IEEE SMC '03 2003 IEEE International Conference on Systems, Man and Cybernetics - Washington, DC, USA (5-8 Oct. 2003)] SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483) - Formalizing mobile agent system model based on ontology
✍ Tao Hu, ; Yinglin Wang, ; Jian Cao, ; Jianxun Liu, πŸ“‚ Article πŸ“… 2003 πŸ› IEEE βš– 335 KB
[IEEE 2011 33rd Annual International Con
[IEEE 2011 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society - Boston, MA (2011.08.30-2011.09.3)] 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society - Agent based modeling of blood coagulation system: Implementation using a GPU based high speed framework
✍ Chen, Wenan; Ward, Kevin; Li, Qi; Kecman, Vojislav; Najarian, Kayvan; Menke, Nat πŸ“‚ Article πŸ“… 2011 πŸ› IEEE 🌐 English βš– 401 KB