Developing critical systems with PLD components (2005)

by A Hilton, J G Hall
Venue:FMICS ’05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems