The application of formal methods to the assessment of high integrity software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Software safety in embedded computer systems
Communications of the ACM
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Illustrative risks to the public in the use of computer systems and related technology
ACM SIGSOFT Software Engineering Notes
Design transformation and abstract design prototyping
Information and Software Technology - Special issue on CASE (computer-aided software engineering)
Experience with Formal Methods in Critical Systems
IEEE Software
Case Study: Darlington Nuclear Generating Station
IEEE Software
Assessment of Safety-Critical Specifications
IEEE Software
Strategies for incorporating formal specifications in software development
Communications of the ACM
A formal specifications maturity model
Communications of the ACM
Ten Commandments of Formal Methods
Computer
Capability Maturity Model, Version 1.1
IEEE Software
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Hi-index | 0.00 |