( en | de | ru )

 

Disambiguation of "Troubitsyna, Elena"

Author of the publication

copydeleteadd this publication to your clipboard
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach.

, , and . Int. J. Embed. Real Time Commun. Syst., 1 (2): 61-85 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

Other publications of authors with the same name

Augmenting formal development of control systems with quantitative reliability assessment., , and . SERENE, page 61-70. ACM, (2010)A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops., , , , and . MCSoC, page 281-287. IEEE, (2019)Multi-Concern Integrated Engineering of Dependable Intelligent Systems.. DASC/PiCom/DataCom/CyberSciTech, page 710-715. IEEE, (2019)Online Path Generation and Navigation for Swarms of UAVs., , and . CoRR, (2019)Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B., , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 386-391. Springer, (2018)Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems., , and . Methods, Models and Tools for Fault Tolerance, volume 5454 of Lecture Notes in Computer Science, Springer, (2009)Kaisa Sere: In Memoriam., , and . Formal Asp. Comput., 26 (2): 197-201 (2014)Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach., , and . Int. J. Embed. Real Time Commun. Syst., 1 (2): 61-85 (2010)Securing Open Source Clouds Using Models., and . IMPEX/FM&MDD, volume 271 of EPTCS, page 80-94. (2017)Formal Development of Critical Multi-agent Systems: A Refinement Approach., , and . EDCC, page 156-161. IEEE Computer Society, (2012)