|
|
Volumn , Issue 171, 1997, Pages
|
|
Introduction to formal methods and experiences from the LaCoS and Orsted projects
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
AUTOMATION;
COMPUTER SOFTWARE;
DESIGN;
MAGNETOMETERS;
SATELLITES;
FORMAL METHODS;
LACOS PROJECT;
OERSTED PROJECT;
SOFTWARE ENGINEERING;
|
|
EID: 0031130351
PISSN: 09633308
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1049/ic:19970924 Document Type: Conference Paper |
|
Times cited : (1)
|
|
References (0)
|
