Automatic Checking of the PROTEUS Space Fleet Data Bases with Respect to Their Specifications
International Conference, SpaceOps ; 2010 ; Huntsville, AL
01.01.2010
12 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Online Contents | 1999
Domain Checking Z Specifications
British Library Conference Proceedings | 1997
|Model checking large software specifications
Tema Archiv | 1997
|British Library Online Contents | 1997
|