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.

Automated Formal Verification of Graph Rewriting-Based Model Transformations

Thumbnail
View/Open
91857.pdf (1.522Mb)
Metadata
Show full item record
URI
http://hdl.handle.net/10890/4071
Collections
  • BME PA dokumentumai [3731]
Title
Automated Formal Verification of Graph Rewriting-Based Model Transformations
Author
Asztalos, Márk
Ekler, Péter
Lengyel, László
Levendovszky, Tihamér
Madari, István
Vajk, Tamás
Date of issue
2010
Language
en
Identifiers
MTMT: 2655973
Title of the container document
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
Volume of container document
55(69)
Number of container document
4
ISSN, e-ISSN
1224-600X
Document type
folyóiratcikk
Document genre
szakcikk

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