Verification of Multi-Agent Systems using Formal Approach
AIAA Guidance, Navigation, and Control Conference
01.01.2010
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Verification of Multi-Agent Systems Using Formal Approach
British Library Conference Proceedings | 2010
|Echo: a practical approach to formal verification
Tema Archiv | 2005
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|