 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 |
|
|
Bejelentkezés
mit.bme.hu
