Verification of Multi-Agent Systems Using Formal Approach
Conference, Guidance, navigation and control ; 2010 ; Toronto, Canada
2010-01-01
15 pages
Includes bibliographical references and index
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Echo: a practical approach to formal verification
Tema Archive | 2005
|Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|