( en | de | ru )

 

Disambiguation of "Majzik, István"

Author of the publication

copydeleteadd this publication to your clipboard
K-Induction Based Verification of Real-Time Safety Critical Systems.

, , and . DepCoS-RELCOMEX, volume 224 of Advances in Intelligent Systems and Computing, page 469-478. Springer, (2013)

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 Lantos

István Lukács

István Futaky

 

Other publications of authors with the same name

Robustness Testing Techniques and Tools., , , , , and . Resilience Assessment and Evaluation of Computing Systems, Springer, (2012)Conformance checking for programmable logic controller programs and specifications., , and . SIES, page 29-36. IEEE, (2016)Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation., and . ARCS Workshops, volume P-81 of LNI, page 66-75. GI, (2006)Constructing Dependability Analysis Models of Reconfigurable Production Systems., and . CASE, page 1158-1163. IEEE, (2018)PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research., , , , , , , and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 123-132. Springer, (2016)A Model Based Framework for Specifying and Executing Fault Injection Experiments., and . DepCoS-RELCOMEX, page 107-114. IEEE Computer Society, (2009)Model-based Integration Framework for Development and Testing Tool-chains., , and . FORMS/FORMAT, page 227-235. Springer, (2010)A Configurable CEGAR Framework with Interpolation-Based Refinements., , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 158-174. Springer, (2016)System architecture synthesis for performability by logic solvers., , , and . MoDELS, page 43-54. ACM, (2022)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)