Completeness in formal specification language design for process-control systems

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 2000, Pages 75-87

  Leveson, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; FORMAL LOGIC; PROBLEM SOLVING; PROCESS CONTROL; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

COMPLETENESS; SPECIFICATION LANGUAGE DESIGN;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0034512414     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/349360.351140     Document Type: Article

References (14)