Autor der Publikation

Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models.

, , , und . ICECCS, Seite 67-76. IEEE Computer Society, (2012)

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

Weitere Publikationen von Autoren mit dem selben Namen

Improving Reusability of Model Transformations by Automating their Composition., , , , und . EUROMICRO-SEAA, Seite 267-274. IEEE Computer Society, (2015)Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems., , , und . ICECCS, Seite 269-274. IEEE Computer Society, (2008)Directed Acyclic Graph Scheduling for Mixed-Criticality Systems., , und . Ada-Europe, Volume 10300 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2017)Towards verified synthesis of ProCom, a component model for real-time embedded systems., und . CBSE, Seite 129-138. ACM, (2011)Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden., , und . MTD@CCS, Seite 47-56. ACM, (2019)Flexible Semantic-Preserving Flattening of Hierarchical Component Models., , , und . EUROMICRO-SEAA, Seite 31-38. IEEE Computer Society, (2011)Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs. (Configuration and Reconfiguration of Critical and Distributed Real-Time Embedded Systems).. Télécom ParisTech, France, (2009)Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models., , , und . ICECCS, Seite 67-76. IEEE Computer Society, (2012)Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach., , , und . PRDC, Seite 27-36. IEEE, (2021)Towards a model driven refinement process through architecture evaluation., , und . NFPinDSML@MoDELS, Seite 4:1-4:6. ACM, (2012)