Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Assertion-based proof checking of chang-roberts leader election in PVS
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Hi-index | 0.00 |