Symbolic methods applied to formal verification and synthesis in embedded systems design
By: Karsten Strehl
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 2000
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 2000.