Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Automated distributed system testing: designing an RTI verification system
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Hi-index | 0.01 |