( en | de | ru )

 

Disambiguation of "Majzik, István"

Author of the publication

copydeleteadd this publication to your clipboard
Methods of checking general safety criteria in UML statechart specifications.

, , , and . Reliab. Eng. Syst. Saf., 87 (1): 89-107 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

István Erlich

István Szilágyi

István Lukács

István Lantos

István Futaky

 

Other publications of authors with the same name

A Configurable CEGAR Framework with Interpolation-Based Refinements., , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 158-174. Springer, (2016)Configurable verification of timed automata with discrete variables., and . Acta Informatica, 59 (1): 1-35 (2022)Model-based Integration Framework for Development and Testing Tool-chains., , and . FORMS/FORMAT, page 227-235. Springer, (2010)System architecture synthesis for performability by logic solvers., , , and . MoDELS, page 43-54. ACM, (2022)From assessment to standardised benchmarking: Will it happen? What could we do about it?, and . DSN, page 295-296. IEEE Computer Society, (2009)Getting the Priorities Right: Saturation for Prioritised Petri Nets., , , and . Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 223-242. Springer, (2017)Design and Analysis of Fault Tolerant Architectures by Model Weaving., and . HASE, page 15-24. IEEE Computer Society, (2005)Software Monitoring and Debugging Using Compressed Signature Sequences.. EUROMICRO, page 311-318. IEEE Computer Society, (1996)Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms., and . Period. Polytech. Electr. Eng. Comput. Sci., 61 (2): 132-150 (2017)PLC Program Translation for Verification Purposes., , and . Period. Polytech. Electr. Eng. Comput. Sci., 61 (2): 151-165 (2017)