Nyomtatási képAz adatok hitelességéről nyilatkozott: 2023. I. 05. Közlemények |
2020
 adattárból, 2022. I. 04. |
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 19: pp. 1483-1517. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 5 nyelv: angol URL |
2020
 adattárból, 2022. I. 04. |
Tóth Tamás, Majzik István: Configurable verification of timed automata with discrete variables, ACTA INFORMATICA (Online first): p. 0. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2019
 adattárból, 2022. I. 04. |
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: 8 nyelv: angol URL |
2018
 adattárból, 2022. I. 04. |
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 |
2018
 adattárból, 2022. I. 04. |
Kristóf Marussy, István Majzik: Constructing Dependability Analysis Models of Reconfigurable Production Systems, In: Birgit, Vogel-Heuser; Bengt, Lennartson (szerk.) 14th IEEE International Conference on Automation Science and Engineering, IEEE Robotics and Automation Society (2018) pp. 1158-1163. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2016
 adattárból, 2022. I. 04. |
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: 14 nyelv: angol Teljes szöveg |
2005
 adattárból, 2022. I. 04. |
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 |
2003
 adattárból, 2022. I. 04. |
Majzik I, Pataricza A, Bondavalli A: Stochastic Dependability Analysis of System Architecture Based on Uml Models, LECTURE NOTES IN COMPUTER SCIENCE 2677: pp. 219-244. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 60 nyelv: angol URL |
2002
 adattárból, 2022. I. 04. |
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, 2022. I. 04. |
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: | 280  |
|
|