Epistemology, Software Engineering, and Formal Methods
Workshop entitled "The role of computers in LARC R&D", Role of computers in research and development at Langley Research Center ; 1994 ; Hampton; VA
Role of computers in research and development at Langley Research Center ; 10159 ; 570-595
NASA CONFERENCE PUBLICATION ; 10159
1994-01-01
26 pages
Conference paper
English
computers , Langley research , LARC , NASA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal methods in software engineering
Tema Archive | 1990
|Formal methods for achieving reliable software
NTRS | 1979
|Formal methods for life-critical software
AIAA | 1993
|Formal Methods for Life-Critical Software
British Library Conference Proceedings | 1993
|