Werner Damm
2 published titles
Practical formal methods for hardware design
(Contributor)
1 edition
- ISBN: 3540620079
- Springer
- 1997
- Details
Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540441654
- Springer
- 2002
- Details
