A Framework for Using Formal Methods in Process Control
Megtekintés/ Megnyitás
Metadata
Teljes megjelenítésCollections
- BME PA dokumentumai [3736]
- Cím és alcím
- A Framework for Using Formal Methods in Process Control
- Szerző
- Kovács, Gábor
- Laurent Pietrac
- Megjelenés ideje
- 2010
- Kiadó
- [s. n.]
- Nyelv
- en
- Egyéb azonosítók
- MTMT: 2662562
- A cikket/könyvrészletet tartalmazó dokumentum címe
- Proceedings of 1st International Scientific Workshop on DCS
- ISBN, e-ISBN
- 978-963-661-950-3
- Dokumentumtípus
- könyvrészlet
- Műfaj
- konferenciaközlemény