An Executable and Reliable Method for Chinese ITS Architecture Development
1st, International Conference On Transportation Engineering ; 2007 ; Chengdu, China
2007-01-01
7 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Executable assertions and flight software
AIAA | 1984
|Sustainable, Reliable Mission-Systems Architecture
AIAA | 2005
|The impact of executable requirements models
Kraftfahrwesen | 1998
|