Automatic Checking of the PROTEUS Space Fleet Data Bases with Respect to Their Specifications
SpaceOps 2010 Conference: Delivering on the Dream (Hosted by NASA Marshall Space Flight Center and Organized by AIAA)
01.01.2010
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Automatic Checking of the PROTEUS Space Fleet Data Bases with Respect to Their Specifications
British Library Conference Proceedings | 2010
|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
|