PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Nyman, Ulrik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.

, , , , , und . ISORC, Seite 51-58. IEEE Computer Society, (2018)

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.

Keine Personen gefunden für den Autorennamen Nyman, Ulrik
Eine Person hinzufügen mit dem Namen Nyman, Ulrik
 

Weitere Publikationen von Autoren mit dem selben Namen

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks., , , , , , und . TASE, Seite 126-130. IEEE Computer Society, (2014)Statistical and exact schedulability analysis of hierarchical scheduling systems., , , , , , und . Sci. Comput. Program., (2016)Complexity of Decision Problems for Mixed and Modal Specifications., , , , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2008)Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU., , , und . ICECCS, Seite 11-19. IEEE Computer Society, (2017)Interface Input/Output Automata., , und . FM, Volume 4085 von Lecture Notes in Computer Science, Seite 82-97. Springer, (2006)Formal validation of supervisory energy management systems for microgrids., , , , , und . IECON, Seite 1154-1159. IEEE, (2017)Widening the Schedulability of Hierarchical Scheduling Systems., , , , , , und . FACS, Volume 8997 von Lecture Notes in Computer Science, Seite 209-227. Springer, (2014)Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters., , , und . IEEE Trans. Industrial Electronics, 66 (3): 2004-2014 (2019)Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems., , , , , und . ISORC, Seite 51-58. IEEE Computer Society, (2018)A modal specification theory for components with data., , , , und . Sci. Comput. Program., (2014)