Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Formalizing space shuttle software requirements: four case studies
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Methods Technology Transfer: A View from NASA
Formal Methods in System Design - Special issue: industrial critical systems
Hi-index | 0.00 |