• 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.

Automated Formal Verification of Graph Rewriting-Based Model Transformations

Thumbnail
Megtekintés/Megnyitás
91857.pdf (1.522MB)
Metadata
Teljes megjelenítés
URI
http://hdl.handle.net/10890/4071
Collections
  • BME PA dokumentumai [3736]
Cím és alcím
Automated Formal Verification of Graph Rewriting-Based Model Transformations
Szerző
Asztalos, Márk
Ekler, Péter
Lengyel, László
Levendovszky, Tihamér
Madari, István
Vajk, Tamás
Megjelenés ideje
2010
Nyelv
en
Egyéb azonosítók
MTMT: 2655973
A cikket/könyvrészletet tartalmazó dokumentum címe
BULETINUL STIINTIFIC AL UNIVERSITATII POLITEHNICA DIN TIMISOARA ROMANIA SERIA AUTOMATICA SI CALCULATORAE / SCIENTIFIC BULLETIN OF POLITECHNICA UNIVERSITY OF TIMISOARA TRANSACTIONS ON AUTOMATIC CONTROL AND COMPUTER SCIENCE
A forrás folyóirat évfolyama
55(69)
A forrás folyóirat száma
4
ISSN, e-ISSN
1224-600X
Dokumentumtípus
folyóiratcikk
Műfaj
szakcikk

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