Design Verification for Control Engineering
Richard J. Boulton‚ Hanne Gottliebsen‚ Ruth Hardy‚ Tom Kelsey and Ursula Martin
Book Title
Integrated Formal Methods‚ 4th International Conference‚ IFM 2004‚ Canterbury‚ UK‚ April 4−7‚ 2004‚ Proceedings
Editor
Eerke A. Boiten and John Derrick and Graeme Smith
ISBN
3−540−21377−5
Pages
21−35
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2999
Year
2004