Domain Checking Z Specifications
Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA
1997-01-01
8 pages
Also known as LFM 97
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Model checking large software specifications
Tema Archiv | 1997
|Satisfiability Checking of LTL Specifications for Verifiable UAV Mission Planning (AIAA 2014-0793)
British Library Conference Proceedings | 2014
|Automatic Checking of the PROTEUS Space Fleet Data Bases with Respect to Their Specifications
British Library Conference Proceedings | 2010
|Electronic system specifications in automotive domain: method and design environment
British Library Conference Proceedings | 1994
|