1.
Varro, D ; Varro, G ; Pataricza, A
Designing The Automatic Transformation of Visual Languages
SCIENCE OF COMPUTER PROGRAMMING 44 : 2 pp. 205-227. , 23 p. (2002)
DOI WoS Scopus Teljes dokumentum Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:2605193 Egyeztetett Forrás Idéző Duplum Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 179 | Független: 161 | Függő: 18 | Nem jelölt: 0 | WoS jelölt: 64 | Scopus jelölt: 88 | WoS/Scopus jelölt: 95 | DOI jelölt: 75
Szakcikk (Folyóiratcikk) | Tudományos[2605193] [Egyeztetett]
Nyilvános idéző összesen: 179, Független: 161, Függő: 18, Nem jelölt: 0
2.
Varró, D
Automatic Program Generation for and by Model Transformation Systems
In: H-J, Kreowski; P, Knirsch (szerk.) Proc. AGT 2002: Workshop on Applied Graph Transformation
(2002) pp. 161-173. , 13 p.
Teljes dokumentum Handle
Közlemény:2614852 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 22 | Független: 16 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 8 | WoS/Scopus jelölt: 8 | DOI jelölt: 9
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2614852] [Admin láttamozott]
Nyilvános idéző összesen: 22, Független: 16, Függő: 6, Nem jelölt: 0
3.
Bondavalli, A ; Dal, Cin M ; Latella, D ; Majzik, I ; Pataricza, A ; Savoia, G
Dependability Analysis in The Early Phases of Uml-based System Design
COMPUTER SYSTEMS SCIENCE AND ENGINEERING 16 : 5 pp. 265-275. , 11 p. (2001)
WoS Scopus Teljes dokumentum Google scholar Google scholar hash
Közlemény:2605191 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 124 | Független: 112 | Függő: 12 | Nem jelölt: 0 | WoS jelölt: 58 | Scopus jelölt: 84 | WoS/Scopus jelölt: 88 | DOI jelölt: 75
Szakcikk (Folyóiratcikk) | Tudományos[2605191] [Admin láttamozott]
Nyilvános idéző összesen: 124, Független: 112, Függő: 12, Nem jelölt: 0
4.
Pap, Zs ; Majzik, I ; Pataricza, A
Checking General Safety Criteria on UML Statecharts
In: Voges, U (szerk.) Computer Safety, Reliability and Security : 20th International Conference, SAFECOMP 2001
Berlin, Németország, Heidelberg, Németország : Springer International Publishing (2001) pp. 46-55. , 10 p.
DOI Scopus Google scholar
Közlemény:2614712 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 33 | Független: 29 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 20 | WoS/Scopus jelölt: 20 | DOI jelölt: 13
Konferenciaközlemény (Könyvrészlet) | Tudományos[2614712] [Admin láttamozott]
Nyilvános idéző összesen: 33, Független: 29, Függő: 4, Nem jelölt: 0
5.
Latella, D ; Majzik, I ; Massink, M
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
FORMAL ASPECTS OF COMPUTING 11 : 6 pp. 637-664. , 28 p. (1999)
DOI Scopus Teljes dokumentum Handle
Közlemény:2614702 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 143 | Független: 129 | Függő: 14 | Nem jelölt: 0 | WoS jelölt: 85 | Scopus jelölt: 141 | WoS/Scopus jelölt: 141 | DOI jelölt: 98
Szakcikk (Folyóiratcikk) | Tudományos[2614702] [Admin láttamozott]
Nyilvános idéző összesen: 143, Független: 129, Függő: 14, Nem jelölt: 0
2023-05-29 02:06