• English
    • magyar
  • magyar 
    • English
    • magyar
  • Bejelentkezés
Megtekintés 
  •   DSpace kezdőoldal
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • Megtekintés
  •   DSpace kezdőoldal
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • Megtekintés
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
Megtekintés/Megnyitás
102176.pdf (429.9KB)
Metadata
Teljes megjelenítés
URI
http://hdl.handle.net/10890/4227
Collections
  • 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

DSpace software copyright © 2002-2013  Duraspace
Kapcsolat | Visszajelzés
Theme by 
@mire NV
 

 

Böngészés

A teljes DSpace-benKategóriák és gyűjteményekMegjelenés dátumaSzerzőCímTárgyszóA gyűjteménybenMegjelenés dátumaSzerzőCímTárgyszó

Személyes felhasználói fiók

BejelentkezésRegisztráció

DSpace software copyright © 2002-2013  Duraspace
Kapcsolat | Visszajelzés
Theme by 
@mire NV