Cited By
View all- Fitzgerald JLarsen P(2007)Balancing insight and effortFormal methods and hybrid real-time systems10.5555/1793874.1793884(237-254)Online publication date: 1-Jan-2007
- Au OStone RCooke J(2007)Precise scenariosProceedings of the 6th international conference on Integrated formal methods10.5555/1770498.1770500(21-36)Online publication date: 2-Jul-2007
- Fitzgerald JLarsen P(2007)Balancing Insight and Effort: The Industrial Uptake of Formal MethodsFormal Methods and Hybrid Real-Time Systems10.1007/978-3-540-75221-9_10(237-254)Online publication date: 2007
- Show More Cited By