|
|
Volumn 7, Issue 5, 1992, Pages 323-334
|
|
Specifications are (preferably) executable
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER SOFTWARE;
SPECIFICATION LANGUAGES;
DECLARATIVE SPECIFICATION LANGUAGES;
EXECUTABLE SPECIFICATIONS;
SOFTWARE SPECIFICATIONS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
|
|
EID: 0026926404
PISSN: 02686961
EISSN: None
Source Type: Journal
DOI: 10.1049/sej.1992.0033 Document Type: Article |
|
Times cited : (107)
|
|
References (41)
|
