|
Volumn 2002-January, Issue , 2002, Pages 201-208
|
Enhancing system validation with behavioural types
|
Author keywords
Automata; Automatic control; Computer architecture; Computer science; Control systems; Dynamic programming; Hardware; Logic programming; Specification languages; Testing
|
Indexed keywords
AUTOMATION;
COMPUTATIONAL LINGUISTICS;
COMPUTER ARCHITECTURE;
COMPUTER CIRCUITS;
COMPUTER CONTROL SYSTEMS;
COMPUTER HARDWARE;
COMPUTER PROGRAMMING;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SCIENCE;
CONTROL;
CONTROL SYSTEMS;
DYNAMIC PROGRAMMING;
LOGIC PROGRAMMING;
PATTERN MATCHING;
RECONFIGURABLE HARDWARE;
SEMANTICS;
SPECIFICATION LANGUAGES;
SPECIFICATIONS;
SYSTEMS ENGINEERING;
TESTING;
AUTOMATA;
BEHAVIOURAL TYPES;
INPUT/OUTPUT BEHAVIORS;
MICROCONTROLLER PROGRAMS;
REGULAR EXPRESSIONS;
SOURCE CODES;
SYSTEM BEHAVIORS;
SYSTEM VALIDATION;
COMPUTER SYSTEMS PROGRAMMING;
|
EID: 84952782108
PISSN: 15302059
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/HASE.2002.1173124 Document Type: Conference Paper |
Times cited : (7)
|
References (14)
|