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