( en | de | ru )

 

Disambiguation of "Micskei, Zoltán"

Author of the publication

copydeleteadd this publication to your clipboard
Pragmatic verification and validation of industrial executable SysML models.

, , , , , , , , and . Syst. Eng., 26 (6): 693-714 (November 2023)

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

Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services., , , , , , and . WADS, volume 5135 of Lecture Notes in Computer Science, page 150-174. Springer, (2007)Robustness Testing of Standard Specifications-Based HA Middleware., and . ICDCS Workshops, page 302-306. IEEE Computer Society, (2010)Evaluating Symbolic Execution-Based Test Tools., and . ICST, page 1-10. IEEE Computer Society, (2015)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)Addressing Verification and Validation Challenges in Future Cyber-Physical Systems., , , , , , and . LADC, page 1-2. IEEE, (2019)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)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)Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers., and . DepCoS-RELCOMEX, page 191-198. IEEE Computer Society, (2006)