Verification of Multi-Agent Systems using Formal Approach
AIAA Guidance, Navigation, and Control Conference
2010-01-01
Conference paper
Electronic Resource
English
The PERF Approach for Formal Verification
British Library Conference Proceedings | 2016
|Echo: a practical approach to formal verification
Tema Archive | 2005
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|