A Framework for Using Formal Methods in Process Control

Megtekintés/Megnyitás

102176.pdf (429.9KB)

Dátum

2010

Szerző

Kovács, Gábor

Laurent Pietrac

Metadata

Teljes megjelenítés

URI

http://hdl.handle.net/10890/4227

Collections

BME PA dokumentumai [3736]