Automatic Checking of the PROTEUS Space Fleet Data Bases with Respect to Their Specifications
International Conference, SpaceOps ; 2010 ; Huntsville, AL
2010-01-01
12 pages
Includes bibliographical references and index
Conference paper
English
© 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 Archive | 1997
|British Library Online Contents | 1997
|