A Framework for Using Formal Methods in Process Control

Thumbnail
Megtekintés/Megnyitás
Metadata
Teljes megjelenítés
URI
http://hdl.handle.net/10890/4227
Collections
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