( en | de | ru )

 

Disambiguierung von "Boudjadar, Abdeldjalil"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimizing the resource requirements of hierarchical scheduling systems.

, , , , , , , und . SIGBED Rev., 13 (3): 41-48 (2016)

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

An Alternative Definition for Timed Automata Composition., , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 105-119. Springer, (2011)Compositional Refinement for Real-Time Systems with Priorities., , und . TIME, Seite 57-64. IEEE Computer Society, (2012)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)Model Checking Process Algebra of Communicating Resources for Real-Time Systems., , , und . ECRTS, Seite 51-60. IEEE Computer Society, (2014)Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context., , , , , , , und . CBSE, Seite 91-100. ACM, (2015)A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures., , , und . IEEE Trans. Ind. Informatics, 12 (2): 655-671 (2016)Revising and Extending the Uppaal Communication Mechanism., , und . SC@TOOLS, Volume 7306 von Lecture Notes in Computer Science, Seite 114-131. Springer, (2012)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)Optimizing the resource requirements of hierarchical scheduling systems., , , , , , , und . SIGBED Rev., 13 (3): 41-48 (2016)