( en | de | ru )

 

Disambiguierung von "Majzik, István"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lazy Reachability Checking for Timed Automata Using Interpolants.

, und . FORMATS, Volume 10419 von Lecture Notes in Computer Science, Seite 264-280. Springer, (2017)

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 Szilágyi

István Futaky

István Lukács

István Lantos

István Szabó

 

Weitere Publikationen von Autoren mit dem selben Namen

Robustness Testing Techniques and Tools., , , , , und . Resilience Assessment and Evaluation of Computing Systems, Springer, (2012)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)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)Conformance checking for programmable logic controller programs and specifications., , und . SIES, Seite 29-36. IEEE, (2016)Constructing Dependability Analysis Models of Reconfigurable Production Systems., und . CASE, Seite 1158-1163. IEEE, (2018)Model-based Integration Framework for Development and Testing Tool-chains., , und . FORMS/FORMAT, Seite 227-235. Springer, (2010)From assessment to standardised benchmarking: Will it happen? What could we do about it?, und . DSN, Seite 295-296. IEEE Computer Society, (2009)Getting the Priorities Right: Saturation for Prioritised Petri Nets., , , und . Petri Nets, Volume 10258 von Lecture Notes in Computer Science, Seite 223-242. Springer, (2017)Design and Analysis of Fault Tolerant Architectures by Model Weaving., und . HASE, Seite 15-24. IEEE Computer Society, (2005)