|
|
Volumn 13, Issue 3, 1997, Pages 253-275
|
|
ProCoS approach to correct systems
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ACCIDENT PREVENTION;
ASYNCHRONOUS SEQUENTIAL LOGIC;
COMPUTATIONAL LINGUISTICS;
COMPUTER ARCHITECTURE;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER PROGRAMMING;
DIFFERENTIATION (CALCULUS);
ERROR CORRECTION;
HIGH LEVEL LANGUAGES;
THEOREM PROVING;
COMPUTER BASED REAL TIME SYSTEMS;
MACHINE PROGRAMMING;
SAFETY CRITICAL APPLICATIONS;
SYSTEMS ARCHITECTURAL LANGUAGE;
REAL TIME SYSTEMS;
|
|
EID: 0031281243
PISSN: 09226443
EISSN: None
Source Type: Journal
DOI: 10.1023/A:1007963427189 Document Type: Article |
|
Times cited : (6)
|
|
References (50)
|
