✦ LIBER ✦

Formal Modeling and Verification of Multi-agent System Architecture

✍ Scribed by Yuan, Ling; Fan, Ping

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Specification and Verification of

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Modeling and Verification of Dependable

✍ Ling Yuan; Ping Fan; Xiao-fang Zhang 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 363 KB

A formal method to model early requireme

✍ Mao Xin-jun; Yu Eric 📂 Article 📅 2004 🏛 Wuhan University 🌐 English ⚖ 462 KB

Formal Modeling and Analysis of a Secure

✍ Lu Ma; Tsai, J.J.P. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 467 KB

Models and formal verification of multip

✍ Aske Brekling; Michael R. Hansen; Jan Madsen 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 785 KB

A Formal Model of Multi-Agent Belief-Int

✍ John Cantwell 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 580 KB