( en | de | ru )

 

Disambiguierung von "Lefaucheux, Engel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Diagnosability of repairable faults.

, , , und . WODES, Seite 230-236. 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.

Kraft Engel

Volker Engel

Joachim Engel

Manfred Engel

Christa Engel

 

Weitere Publikationen von Autoren mit dem selben Namen

Diagnosability of repairable faults., , , und . WODES, Seite 230-236. IEEE, (2016)Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications., , , , , , , , und . CONCUR, Volume 243 von LIPIcs, Seite 10:1-10:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis., , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 164-183. Springer, (2018)Controlling information in Probabilistic Systems. (Le contrôle de l'information dans les systèmes probabilistes).. University of Rennes 1, France, (2018)Model Checking Linear Dynamical Systems under Floating-point Rounding., , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 47-65. Springer, (2023)Expiring opacity problems in parametric timed automata., , und . ICECCS, Seite 89-98. IEEE, (2023)Probabilistic Disclosure: Maximisation vs. Minimisation., , und . FSTTCS, Volume 93 von LIPIcs, Seite 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set., , , , und . MFCS, Volume 241 von LIPIcs, Seite 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)The Bright Side of Timed Opacity., , und . CoRR, (2024)strategFTO: Untimed Control for Timed Opacity., , , und . FTSCS, Seite 27-33. ACM, (2022)