A Framework for Using Formal Methods in Process Control

View/ Open
Metadata
Show full item recordCollections
- BME PA dokumentumai [3731]
- Title
- A Framework for Using Formal Methods in Process Control
- Author
- Kovács, Gábor
- Laurent Pietrac
- Date of issue
- 2010
- Publisher
- [s. n.]
- Language
- en
- Identifiers
- MTMT: 2662562
- Title of the container document
- Proceedings of 1st International Scientific Workshop on DCS
- ISBN, e-ISBN
- 978-963-661-950-3
- Document type
- könyvrészlet
- Document genre
- konferenciaközlemény