Formal modeling and analysis of the HLA component integration standard

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 1998, Pages 70-79

  Allen, Robert J ^a   Garlan, David ^a   Ivers, James ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; STANDARDS;

FORMAL SPECIFICATIONS; HIGH LEVEL ARCHITECTURE (HLA);

SOFTWARE ENGINEERING;

EID: 0032218215     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/291252.288251     Document Type: Conference Paper

References (23)