 |
|
| /Holloway, 1997/ |
A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z
 Contents
|
|
|---|
Identification
/Holloway, 1997/ Why engineers should consider formal methods
Author(s)
Holloway, C. M.
Congress/Conference/Publication
Proceedings of the 16th Digital Avionics Systems Conference, October 1997
Related publications
Introduction to Formal Methods
 GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|