From Model Driven Engineering to Verification Driven Engineering
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Hi-index | 0.00 |
Arguing that there's only one way to do formal methods is common practice, when in fact interoperability between formal methods can and should be achieved.