|
|
Volumn , Issue 171, 1997, Pages
|
|
Introducing formal methods to existing processes
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
INDUSTRIAL APPLICATIONS;
MANAGEMENT;
MARKETING;
PRODUCT DESIGN;
EXISTING PROCESSES;
FORMAL METHODS;
SOFTWARE ENGINEERING;
|
|
EID: 0031130350
PISSN: 09633308
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1049/ic:19970929 Document Type: Conference Paper |
|
Times cited : (2)
|
|
References (0)
|
