( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Requirements Engineering to Safety Assurance: Refinement Approach.

, , , , и . SETTA, том 9409 из Lecture Notes in Computer Science, стр. 201-216. Springer, (2015)

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.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

Другие публикации лиц с тем же именем

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