( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

, , , , , и . NETYS, том 11704 из Lecture Notes in Computer Science, стр. 93-109. Springer, (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.

Lionel Rieg

Annette Rieg

Jürgen Rieg

Werner Rieg

Werner Rieg

 

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

Dependent Pearl: Normalization by realizability., , и . CoRR, (2019)Swarms of Mobile Robots: Towards Versatility with Safety., , , и . Leibniz Trans. Embed. Syst., 8 (2): 02:1-02:36 (2022)Integrating Formal Schedulability Analysis into a Verified OS Kernel., , , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 496-514. Springer, (2019)Synchronous Gathering without Multiplicity Detection: a Certified Algorithm., , , , и . Theory Comput. Syst., 63 (2): 200-218 (2019)Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation., , , , , , и . Proc. ACM Program. Lang., 4 (POPL): 20:1-20:31 (2020)Towards Coq-verified Esterel Semantics and Compiling., и . CoRR, (2019)Computer Aided Formal Design of Swarm Robotics Algorithms., , , , , и . SSS, том 13046 из Lecture Notes in Computer Science, стр. 469-473. Springer, (2021)Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots., , , , , и . NETYS, том 11704 из Lecture Notes in Computer Science, стр. 93-109. Springer, (2019)A generic approach for the certified schedulability analysis of software systems., , и . RTCSA, стр. 83-92. IEEE, (2021)