PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Fahrenberg, Uli"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An ωωømega-Algebra for Real-Time Energy Problems.

, , und . Logical Methods in Computer Science, (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.

Uli Hahn

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems., , , und . Engineering Dependable Software Systems, Volume 34 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2013)Measuring Behaviour Interactions between Product-Line Features., , und . FormaliSE@ICSE, Seite 20-25. IEEE Computer Society, (2015)Weighted Modal Transition Systems, , , , , und . CoRR, (2012)An ω-Algebra for Real-Time Energy Problems., , und . CoRR, (2017)Contract-Based Requirement Modularization via Synthesis of Correct Decompositions., , , und . ACM Trans. Embedded Comput. Syst., 15 (2): 33:1-33:26 (2016)An ωωømega-Algebra for Real-Time Energy Problems., , und . Logical Methods in Computer Science, (2019)Computing Branching Distances Using Quantitative Games., , und . ICTAC, Volume 11884 von Lecture Notes in Computer Science, Seite 59-75. Springer, (2019)A Robust Specification Theory for Modal Event-Clock Automata, und . FIT, Volume 87 von EPTCS, Seite 5-16. (2012)Energy Games in Multiweighted Automata., , , und . ICTAC, Volume 6916 von Lecture Notes in Computer Science, Seite 95-115. Springer, (2011)Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems., , und . ICTAC Training School on Software Engineering, Volume 8050 von Lecture Notes in Computer Science, Seite 67-108. Springer, (2013)