Verification support environment (VSE)

High integrity systems

Volumn 1, Issue 6, 1996, Pages 523-530

  Hutter, Dieter ^a   Langenstein, Bruno ^a   Sengler, Claus ^a   Siekmann, Joerg H ^a   Stephan, Werner ^a   Wolpers, Andreas ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS; RELIABILITY; SECURITY OF DATA; SOFTWARE ENGINEERING; SPECIFICATIONS;

SOFTWARE COMPONENTS; VERIFICATION SUPPORT ENVIRONMENT;

COMPUTER PROGRAMMING;

EID: 0030413283     PISSN: 09672648     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)