Author:
Derrick John,Boiten Eerke,Woodcock Jim,von Wright Joakim
Subject
General Computer Science,Theoretical Computer Science
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrating Model-Checking with UML-Based SoC Development;Applications of Specification and Design Languages for SoCs;2006
2. Introduction to Formal Methods;NASA Monographs in Systems and Software Engineering