Practical Results from the Application of Model Checking and Test Generation from UML/SysML Models of On-Board Space Applications
Practical Results from the Application of Model Checking and Test Generation from UML/SysML Models of On-Board Space Applications
- New search for: Faria, J.M.
- New search for: Mahomad, S.
- New search for: Silva, N.
- New search for: European Space Agency
- New search for: Faria, J.M.
- New search for: Mahomad, S.
- New search for: Silva, N.
- New search for: Ouwehand, L.
- New search for: European Space Agency
Document information
Practical Results from the Application of Model Checking and Test Generation from UML/SysML Models of On-Board Space Applications
Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey
2009-01-01
57 pages
Held in e-store (RMS); Held on CD-ROM
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Similar titles
| British Library Conference Proceedings | 2015
| SAE Technical Papers | 2015
Application of SysML Standards to Space Mission Operations
| British Library Conference Proceedings | 2010