( en | de | ru )

 

Disambiguierung von "Rusu, Vlad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Task-System Analysis Using Slope-Parametric Hybrid Automata.

, und . Euro-Par, Volume 1300 von Lecture Notes in Computer Science, Seite 1262-1273. Springer, (1997)

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.

Vlad Manilici

Flow-based routing in community networks. TU Berlin, (2009)

Julia Vlad

Vlad Rojanschi

Mihaela Rusu

Laura Rusu

 

Weitere Publikationen von Autoren mit dem selben Namen

Uniformity for the Decidability of Hybrid Automata., und . SAS, Volume 1145 von Lecture Notes in Computer Science, Seite 301-316. Springer, (1996)Verifying Periodic Task-Control Systems.. HART, Volume 1201 von Lecture Notes in Computer Science, Seite 63-68. Springer, (1997)Symbolic Determinisation of Extended Automata., , und . IFIP TCS, Volume 209 von IFIP, Seite 197-212. Springer, (2006)Ensuring the conformance of reactive discrete-event systems using supervisory control., , , und . CDC, Seite 2692-2697. IEEE, (2003)Proving partial-correctness and invariance properties of transition-system models., , und . Sci. Comput. Program., (2020)Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant., , , und . FLOPS, Volume 3945 von Lecture Notes in Computer Science, Seite 114-129. Springer, (2006)On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction., und . TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 178-192. Springer, (1999)Task-System Analysis Using Slope-Parametric Hybrid Automata., und . Euro-Par, Volume 1300 von Lecture Notes in Computer Science, Seite 1262-1273. Springer, (1997)(Co)inductive proof systems for compositional proofs in reachability logic., und . J. Log. Algebraic Methods Program., (2021)Equational approximations for tree automata completion., und . J. Symb. Comput., 45 (5): 574-597 (2010)