REAL

Items where Author is "Majzik, István"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Hajdu, Ákos and Tóth, Tamás and Vörös, András and Majzik, István (2016) A Configurable CEGAR Framework with Interpolation-Based Refinements. In: Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (9688). Springer International Publishing, [s. l.], pp. 158-174. ISBN 978-3-319-39570-8

Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István (2016) PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9698). Springer International Publishing, Cham (Svájc), pp. 123-132. ISBN 978-3-319-39086-4

Pataricza, András and Bartha, Tamás and Bertók, Botond and Csertán, György and Dobán, Orsolya and Friedler, Ferenc and Fülöp, János and Huszerl, Gábor and Majzik, István and Nagy, Ádám and Papp, László and Petri, Dániel and Polgár, Balázs and Varró, Dániel (2007) Operációkutatási módszerek műszaki informatikai rendszerek analízisében és verifikációjában = Operation Research Methods for the Analysis and Verification of Information Technology Systems. Project Report. OTKA.

Majzik, István and Csertán, György and Huszerl, Gábor and Pataricza, András and Pintér, Gergely and Varró, Dániel (2007) Önellenőrzés és futásidejű verifikáció számítógépes programokban = Self-checking and run-time verification in computer programs. Project Report. OTKA.

Majzik, István and Pataricza, András and Bondavalli, A. (2003) Stochastic Dependability Analysis of System Architecture Based on Uml Models. LECTURE NOTES IN COMPUTER SCIENCE, 2677. pp. 219-244. ISSN 0302-9743

This list was generated on Mon Jan 23 20:00:38 2017 CET.