( en | de | ru )

 

Disambiguierung von "Majzik, István"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conformance checking for programmable logic controller programs and specifications.

, , und . SIES, Seite 29-36. IEEE, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

István Cseke

István Szabó

István Erlich

István Szilágyi

István Lantos

 

Weitere Publikationen von Autoren mit dem selben Namen

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