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