Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Framework for Using Formal Methods in Process Control

Thumbnail
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

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV