Developing critical systems with PLD components (2005)

by Adrian J. Hilton , Jon G. Hall
Venue:In Tiziana Margaria and Mieke Massink, editors, FMICS ’05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Citations:1 - 1 self