Invariant Approach For Validation of Aggregative Specifications
NATO Advanced Study Institute, Verification and validation of complex and integrated human-machine systems ; 1992 ; Viermo; Portugal
1993-01-01
8 pages
Conference paper
English
© 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
|