( en | de | ru )

 

Disambiguierung von "Darvas, Dániel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parallel Saturation Based Model Checking.

, , , , , und . ISPDC, Seite 94-101. IEEE Computer Society, (2011)

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.

Katalin Darvas

János Darvas

Ferenc Darvas

Felix Darvas

Martin Darvas

 

Weitere Publikationen von Autoren mit dem selben Namen

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems. Budapest University of Technology and Economics, Hungary, (2017)Conformance checking for programmable logic controller programs and specifications., , und . SIES, Seite 29-36. IEEE, (2016)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)Formal Verification of Safety PLC Based Control Software., , und . IFM, Volume 9681 von Lecture Notes in Computer Science, Seite 508-522. Springer, (2016)Parallel Saturation Based Model Checking., , , , , und . ISPDC, Seite 94-101. IEEE Computer Society, (2011)PLC code generation based on a formal specification language., , und . INDIN, Seite 389-396. IEEE, (2016)Saturation-Based Incremental LTL Model Checking with Inductive Proofs., , , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 643-657. Springer, (2015)Formal Verification of Complex Properties on PLC Programs., , , , , und . FORTE, Volume 8461 von Lecture Notes in Computer Science, Seite 284-299. Springer, (2014)