( en | de | ru )

 

Disambiguierung von "Troubitsyna, Elena"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MASTAC: new curriculum for master and doctoral studies in critical software and computing.

, , , , , und . SEESE@ICSE, Seite 59-64. ACM, (2008)

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.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B., , und . ABZ, Volume 10817 von Lecture Notes in Computer Science, Seite 386-391. Springer, (2018)Augmenting formal development of control systems with quantitative reliability assessment., , und . SERENE, Seite 61-70. ACM, (2010)Multi-Concern Integrated Engineering of Dependable Intelligent Systems.. DASC/PiCom/DataCom/CyberSciTech, Seite 710-715. IEEE, (2019)A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops., , , , und . MCSoC, Seite 281-287. IEEE, (2019)Online Path Generation and Navigation for Swarms of UAVs., , und . CoRR, (2019)Securing Open Source Clouds Using Models., und . IMPEX/FM&MDD, Volume 271 von EPTCS, Seite 80-94. (2017)Formal Development of Critical Multi-agent Systems: A Refinement Approach., , und . EDCC, Seite 156-161. IEEE Computer Society, (2012)Securing Optimized Code Against Power Side Channels., , , und . CSF, Seite 340-355. IEEE, (2023)Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones., , , und . PDP, Seite 101-108. IEEE Computer Society, (2018)09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems., , , , und . Refinement Based Methods for the Construction of Dependable Systems, Volume 09381 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)