Nyomtatási képAz adatok hitelességéről nyilatkozott: 2021. I. 02. Közlemények |
2020
 adattárból, 2021. I. 02. |
Graics Bence, Molnár Vince, Vörös András, Majzik István, Varró Dániel: Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems, SOFTWARE AND SYSTEMS MODELING dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2019
 adattárból, 2021. I. 02. |
István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró: Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles, In: Alexander, Pretschner; Sebastian, Voss (szerk.) Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE (2019) pp. 89-94. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 2 nyelv: angol URL |
2018
 adattárból, 2021. I. 02. |
Vörös András, Darvas Dániel, Hajdu Ákos, Klenik Attila, Marussy Kristóf, Molnár Vince, Bartha Tamás, Majzik István: Industrial Applications of the PetriDotNet Modelling and Analysis Tool, SCIENCE OF COMPUTER PROGRAMMING 157: pp. 17-40. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 3 nyelv: angol URL |
2018
 adattárból, 2021. I. 02. |
Tamás Tóth, István Majzik: Lazy Reachability Checking for Timed Automata with Discrete Variables, In: María, del Mar Gallardo; Pedro, Merino (szerk.) Model Checking Software, Springer International Publishing (2018) pp. 235-254. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2016
 adattárból, 2021. I. 02. |
Darvas Dániel, Majzik István, Blanco Viñulea Enrique: Formal Verification of Safety PLC Based Control Software, In: Ábrahám, Erika; Huisman, Marieke (szerk.) Integrated Formal Methods, Springer International Publishing (2016) pp. 508-522. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 11 nyelv: angol Teljes szöveg |
2016
 adattárból, 2021. I. 02. |
Molnár Vince, Vörös András, Darvas Dániel, Bartha Tamás, Majzik István: Component-wise incremental LTL model checking, FORMAL ASPECTS OF COMPUTING 28: (3) pp. 345-379. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 4 nyelv: angol Teljes szöveg |
2009
 adattárból, 2021. I. 02. |
A Bondavalli, A Ceccarelli, J Gronbaek, D Iovino, L Karna, S Klapka, T K Madsen, M Magyar, I Majzik, A Salzo: Design and Evaluation of a Safe Driver Machine Interface, INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING 5: (2) pp. 153-166. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol
|
2005
 adattárból, 2021. I. 02. |
Pap Z, Majzik I, Pataricza A, Szegi A: Methods of Checking General Safety Criteria in Uml Statechart Specifications, RELIABILITY ENGINEERING & SYSTEM SAFETY 87: (1) pp. 89-107. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 17 nyelv: angol URL |
2002
 adattárból, 2021. I. 02. |
Huszerl G, Majzik I, Pataricza A, Kosmidis K, Dal Cin M: Quantitative Analysis of Uml Statechart Models of Dependable Systems, COMPUTER JOURNAL 45: (3) pp. 260-277. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 47 nyelv: angol URL |
1999
 adattárból, 2021. I. 02. |
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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 129 nyelv: angol URL |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 213  |
|
|