( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Metric for Linear Temporal Logic.

, , , , и . CoRR, (2018)

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.

Wiebke Lohstroh

Marten Sinderen

Friedhelm Marten

Märten Burgdorf

Irma Marten

 

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

High-Performance Deterministic Concurrency using Lingua Franca., , , , , , , , , и 3 other автор(ы). CoRR, (2023)Consistency vs. Availability in Distributed Cyber-Physical Systems., , , , , и . ACM Trans. Embed. Comput. Syst., 22 (5s): 138:1-138:24 (октября 2023)Pragmatics Twelve Years Later: A Report on Lingua Franca., , , , , , , и . ISoLA (2), том 13702 из Lecture Notes in Computer Science, стр. 60-89. Springer, (2022)Polyglot Modal Models through Lingua Franca., , , , и . CPS-IoT Week Workshops, стр. 337-342. ACM, (2023)On Enabling Technologies for the Internet of Important Things., , , , , и . IEEE Access, (2019)Toward a Lingua Franca for Deterministic Concurrent Systems., , , и . ACM Trans. Embed. Comput. Syst., 20 (4): 36:1-36:27 (2021)Modal Reactors., , , , и . CoRR, (2023)A Component Architecture for the Internet of Things., , , , , , , и . Proc. IEEE, 106 (9): 1527-1542 (2018)InterPRET: a Time-predictable Multicore Processor., , , , , , , и . CPS-IoT Week Workshops, стр. 331-336. ACM, (2023)A Language for Deterministic Coordination Across Multiple Timelines., , , , , и . FDL, стр. 1-8. IEEE, (2020)