Modeling and Validating SAFER in VDM-SL
Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA
1997-01-01
14 pages
Also known as LFM 97
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
GMES Sentinel-3: A Safer Satellite for a Safer Space, a Safer World
British Library Conference Proceedings | 2013
|Online Contents | 1995
Engineering Index Backfile | 1936
|