( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification.

, , , и . ICRA, стр. 597-603. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jens Doose

Anette Doose

Eggert Doose

Sören Doose

Stefan Doose

 

Другие публикации лиц с тем же именем

Fault tolerance evaluation and schedulability analysis., и . SAC, стр. 729-734. ACM, (2011)Supporting Model Based Design., , , и . MEDI, том 6918 из Lecture Notes in Computer Science, стр. 237-248. Springer, (2011)SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems., , , , и . FMAS/ASYDE@SEFM, том 371 из EPTCS, стр. 120-138. (2022)Schedulability analysis for mixed critical cyber physical systems., , , , , и . ICPS, стр. 297-303. IEEE, (2018)Source Code Analysis with a Temporal Extension of First-Order Logic., , и . SBMF, том 11254 из Lecture Notes in Computer Science, стр. 20-38. Springer, (2018)Formalization of Robot Skills with Descriptive and Operational Models., , и . IROS, стр. 7227-7232. IEEE, (2020)Exploring iGPU Memory Interference Response to L2 Cache Locking., , , , и . WCET, том 114 из OASIcs, стр. 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., , , и . ICRA, стр. 597-603. IEEE, (2019)MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time., , и . IRC, стр. 208-211. IEEE Computer Society, (2017)Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions., и . DIPES, том 150 из IFIP, стр. 167-176. Kluwer/Springer, (2004)