Introducing formal methods through role-playing
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
A Formal Verification Environment for Railway Signaling System Design
Formal Methods in System Design - Special issue: industrial critical systems
Security as a safety issue in rail communications
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Lessons learned from rigorous system software development
Information and Software Technology
CTP-based programming languages?: considerations about an experimental design
ACM Communications in Computer Algebra
Proof and refutation in formal software development
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |