( en | de | ru )

 

Disambiguierung von "Tóth, Tamás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstraction Refinement-Based Verification of Timed Automata

. Budapest University of Technology and Economics, Hungary, (2021)

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.

Christine Tamásy

Ónodi Tamás

Nándor Tamáskovics

Erika Tamási

Markus Tamás

 

Weitere Publikationen von Autoren mit dem selben Namen

Research patterns in communication (2009-2019): testing female representation and productivity differences, within the most cited authors and the field., , , , und . Scientometrics, 128 (1): 137-156 (Januar 2023)Applications of Neighborhood Sequence in Image Processing and Database Retrieval., , , und . J. Univers. Comput. Sci., 12 (9): 1240-1253 (2006)Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics., und . SAFECOMP Workshops, Volume 8696 von Lecture Notes in Computer Science, Seite 207-218. Springer, (2014)Lazy Reachability Checking for Timed Automata Using Interpolants., und . FORMATS, Volume 10419 von Lecture Notes in Computer Science, Seite 264-280. Springer, (2017)Lazy Reachability Checking for Timed Automata with Discrete Variables., und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 235-254. Springer, (2018)Abstraction Refinement-Based Verification of Timed Automata. Budapest University of Technology and Economics, Hungary, (2021)Integrated Controlling Tool with Plan-fact Analysis., und . IEEM, Seite 731-735. IEEE, (2018)Theta: A framework for abstraction refinement-based model checking., , , , und . FMCAD, Seite 176-179. IEEE, (2017)A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol., , und . SERENE, Volume 9274 von Lecture Notes in Computer Science, Seite 31-45. Springer, (2015)Formal Verification of Real-Time Systems with Data Processing., und . Period. Polytech. Electr. Eng. Comput. Sci., 61 (2): 166-174 (2017)