Formal analysis of hardware requirements
Proceedings of the 43rd annual Design Automation Conference
From NuSMV to SPIN: Experiences with model checking flight guidance systems
Formal Methods in System Design
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |