PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Boudjadar, Abdeldjalil"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional Predictability Analysis of Mixed Critical Real Time Systems.

, , , und . FTSCS, Volume 596 von Communications in Computer and Information Science, Seite 69-84. Springer, (2015)

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 Boudjadar, Abdeldjalil
Eine Person hinzufügen mit dem Namen Boudjadar, Abdeldjalil
 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional Refinement for Real-Time Systems with Priorities., , und . TIME, Seite 57-64. IEEE Computer Society, (2012)Widening the Schedulability of Hierarchical Scheduling Systems., , , , , , und . FACS, Volume 8997 von Lecture Notes in Computer Science, Seite 209-227. Springer, (2014)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)An Alternative Definition for Timed Automata Composition., , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 105-119. Springer, (2011)A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling., , , , , , und . Sci. Comput. Program., (2015)Model Checking Process Algebra of Communicating Resources for Real-Time Systems., , , und . ECRTS, Seite 51-60. IEEE Computer Society, (2014)Connectivity-optimal shortest paths using crowdsourced data., , und . PerCom Workshops, Seite 1-6. IEEE Computer Society, (2016)Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems., , , und . FSEN, Volume 8161 von Lecture Notes in Computer Science, Seite 111-132. Springer, (2013)Compositional Schedulability Analysis of An Avionics System Using UPPAAL., , , und . ICAASE, Volume 1294 von CEUR Workshop Proceedings, Seite 140-147. CEUR-WS.org, (2014)