( 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

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)Formal Development of Critical Multi-agent Systems: A Refinement Approach., , und . EDCC, Seite 156-161. IEEE Computer Society, (2012)Securing Open Source Clouds Using Models., und . IMPEX/FM&MDD, Volume 271 von EPTCS, Seite 80-94. (2017)Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones., , , und . PDP, Seite 101-108. IEEE Computer Society, (2018)Formal Analysis of Interactions Between Safety and Security Requirements.. The Practice of Formal Methods (II), Volume 14781 von Lecture Notes in Computer Science, Springer, (2024)Securing Optimized Code Against Power Side Channels., , , und . CSF, Seite 340-355. IEEE, (2023)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)