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)
2010-01-01
Conference paper
Electronic Resource
English
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 Archive | 1997
|British Library Online Contents | 1997
|