PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Majzik, István"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Regression Testing of Autonomous Robots.

, , , and . SDL Forum, volume 10567 of Lecture Notes in Computer Science, page 119-135. Springer, (2017)

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.

No persons found for author name Majzik, István
add a person with the name Majzik, István
 

Other publications of authors with the same name

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)Constructing Dependability Analysis Models of Reconfigurable Production Systems., and . CASE, page 1158-1163. IEEE, (2018)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)Conformance checking for programmable logic controller programs and specifications., , and . SIES, page 29-36. IEEE, (2016)Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker., , and . Formal Asp. Comput., 11 (6): 637-664 (1999)Robustness Testing Techniques and Tools., , , , , and . Resilience Assessment and Evaluation of Computing Systems, Springer, (2012)Software Monitoring and Debugging Using Compressed Signature Sequences.. EUROMICRO, page 311-318. IEEE Computer Society, (1996)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)