( en | de | ru )

 

Disambiguierung von "Doose, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification.

, , , und . ICRA, Seite 597-603. IEEE, (2019)

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.

Jens Doose

Anette Doose

Eggert Doose

Stefan Doose

Sören Doose

 

Weitere Publikationen von Autoren mit dem selben Namen

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems., , , , und . FMAS/ASYDE@SEFM, Volume 371 von EPTCS, Seite 120-138. (2022)Fault tolerance evaluation and schedulability analysis., und . SAC, Seite 729-734. ACM, (2011)Supporting Model Based Design., , , und . MEDI, Volume 6918 von Lecture Notes in Computer Science, Seite 237-248. Springer, (2011)Schedulability analysis for mixed critical cyber physical systems., , , , , und . ICPS, Seite 297-303. IEEE, (2018)Formalization of Robot Skills with Descriptive and Operational Models., , und . IROS, Seite 7227-7232. IEEE, (2020)Source Code Analysis with a Temporal Extension of First-Order Logic., , und . SBMF, Volume 11254 von Lecture Notes in Computer Science, Seite 20-38. Springer, (2018)MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time., , und . IRC, Seite 208-211. IEEE Computer Society, (2017)Exploring iGPU Memory Interference Response to L2 Cache Locking., , , , und . WCET, Volume 114 von OASIcs, Seite 3:1-3:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification., , , und . ICRA, Seite 597-603. IEEE, (2019)Polyhedra-Based Approach for Incremental Validation of Real-Time Systems., und . EUC, Volume 3824 von Lecture Notes in Computer Science, Seite 184-193. Springer, (2005)