A Framework for Using Formal Methods in Process Control

View/Open

102176.pdf (429.9Kb)

Metadata

Show full item record

URI

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

Collections

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