Formal specification techniques as a catalyst in validation

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 203-206

  Aichernig, B K ^a   Gerstinger, A ^a   Aster, R ^b  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^b Frequentis Nachrichten GesmbH   (Austria)

Author keywords

Air traffic control; Chemical processes; Chemical technology; Communication system traffic control; Dictionaries; Fault detection; Formal specifications; Knowledge engineering; Natural languages; System testing

Indexed keywords

ACCEPTANCE TESTS; AIR NAVIGATION; AIR TRAFFIC CONTROL; CATALYSTS; CHEMICAL DETECTION; COMPLEX NETWORKS; CONTROL TOWERS; FAULT DETECTION; GLOSSARIES; KNOWLEDGE ENGINEERING; LARGE SCALE SYSTEMS; PROCESS CONTROL; SPECIFICATIONS; SYSTEMS ENGINEERING; TRAFFIC CONTROL; TRANSPORTATION;

CHEMICAL PROCESS; CHEMICAL TECHNOLOGIES; COMMUNICATION SYSTEM TRAFFIC; NATURAL LANGUAGES; SYSTEM TESTING;

FORMAL SPECIFICATION;

EID: 18944398967     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895462     Document Type: Conference Paper

References (0)