( en | de | ru )

 

Disambiguation of "Micskei, Zoltán"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Evaluating Size Reduction Techniques for Software Model Checking.

, , , and . VPT@ETAPS, volume 253 of EPTCS, page 75-91. (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.

Zoltán Cseke

Zoltán Csukás

Zoltán Boronkai

Zoltán Turi

Zoltán Szakács

 

Other publications of authors with the same name

Robustness Testing Techniques and Tools., , , , , and . Resilience Assessment and Evaluation of Computing Systems, Springer, (2012)Analytics of resource transients in cloud-based applications., , , , and . Int. J. Cloud Comput., 2 (2/3): 191-212 (2013)Pragmatic verification and validation of industrial executable SysML models., , , , , , , , and . Syst. Eng., 26 (6): 693-714 (November 2023)To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines., , and . CoRR, (2023)Addressing Verification and Validation Challenges in Future Cyber-Physical Systems., , , , , , and . LADC, page 1-2. IEEE, (2019)Automated isolation for white-box test generation., and . Inf. Softw. Technol., (2020)Development of Model Based Tools to Support the Design of Railway Control Applications., , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 430-435. Springer, (2007)On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf., , , , , and . OSS4MDE@MoDELS, volume 1290 of CEUR Workshop Proceedings, page 31-41. CEUR-WS.org, (2014)Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers., and . DepCoS-RELCOMEX, page 191-198. IEEE Computer Society, (2006)MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems., , , , , , , , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 460-467. Springer, (2018)