( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timed automata with observers under energy constraints.

, , , и . HSCC, стр. 61-70. ACM, (2010)

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.

Jochen Fahrenberg

Brigitte Fahrenberg

Hans Fahrenberg

Jens Fahrenberg

Wolfgang Küpper-Fahrenberg

 

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

Posets with Interfaces for Concurrent Kleene Algebra., , , и . CoRR, (2021)Introduction to the Special Issue on Distributed Hybrid Systems., , и . Leibniz Trans. Embed. Syst., 8 (2): 00:1-00:3 (2022)Behavioral Specification Theories: An Algebraic Taxonomy., и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 262-274. Springer, (2020)Developments in Higher-Dimensional Automata Theory, , , и . (2023)cite arxiv:2305.02873.Computing Branching Distances Using Quantitative Games., , и . ICTAC, том 11884 из Lecture Notes in Computer Science, стр. 59-75. Springer, (2019)A Kleene Theorem for Higher-Dimensional Automata., , , и . CONCUR, том 243 из LIPIcs, стр. 29:1-29:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Measuring Behaviour Interactions between Product-Line Features., , и . FormaliSE@ICSE, стр. 20-25. IEEE Computer Society, (2015)Generating Posets Beyond N., , , и . RAMiCS, том 12062 из Lecture Notes in Computer Science, стр. 82-99. Springer, (2020)Energy Games in Multiweighted Automata., , , и . ICTAC, том 6916 из Lecture Notes in Computer Science, стр. 95-115. Springer, (2011)Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems., , , и . Engineering Dependable Software Systems, том 34 из NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2013)