Formal modeling and analysis of the HLA component integration standard
- 1 November 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 23 (6) , 70-79
- https://doi.org/10.1145/288195.288251
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A formal basis for architectural connectionACM Transactions on Software Engineering and Methodology, 1997
- Using formal methods to reason about architectural standardsPublished by Association for Computing Machinery (ACM) ,1997
- Architectural mismatch: why reuse is so hardIEEE Software, 1995
- Formalizing style to understand descriptions of software architectureACM Transactions on Software Engineering and Methodology, 1995
- Specification and analysis of system architecture using RapideIEEE Transactions on Software Engineering, 1995
- Abstractions for software architecture and tools to support themIEEE Transactions on Software Engineering, 1995
- Correct architecture refinementIEEE Transactions on Software Engineering, 1995
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Petri NetsACM Computing Surveys, 1977