Invariant Approach For Validation of Aggregative Specifications
NATO Advanced Study Institute, Verification and validation of complex and integrated human-machine systems ; 1992 ; Viermo; Portugal
01.01.1993
8 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
An aggregative model of trip making
Elsevier | 1971
|Reconfigurable thruster selection algorithms for aggregative spacecraft systems
DSpace@MIT | 2014
|Hierarchical Accumulative Validation of Executable Control Specifications
SAE Technical Papers | 2013
|Hierarchical Accumulative Validation of Executable Control Specifications
British Library Conference Proceedings | 2013
|