( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts.

, , , и . SAFECOMP Workshops, том 10489 из Lecture Notes in Computer Science, стр. 114-126. Springer, (2017)

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.

Miren Kerkmann

Petrit Mirena

Miren Vizcaíno

Miren Ramírez Antía

Miren Alberdi L

 

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

Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs., , , , , и . ISSRE, стр. 228-239. IEEE, (2023)Reuse in Safety Critical Systems: Educational Use Case Final Results., , и . EUROMICRO-SEAA, стр. 290-297. IEEE Computer Society, (2015)Runtime observable and adaptable UML state machines: models@run.time approach., , , и . SAC, стр. 1818-1827. ACM, (2019)Reuse in Safety Critical Systems: Educational Use Case First Experiences., , и . EUROMICRO-SEAA, стр. 417-422. IEEE Computer Society, (2014)Model-Based Verification of Safety Contracts., , , , и . SEFM Workshops, том 8938 из Lecture Notes in Computer Science, стр. 101-115. Springer, (2014)MDE based IoT Service to enhance the safety of controllers at runtime., , , , , и . STAF (Co-Located Events), том 2405 из CEUR Workshop Proceedings, стр. 33-38. CEUR-WS.org, (2019)CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker., , , и . ISSRE Workshops, стр. 25-30. IEEE, (2020)Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts., , , и . SAFECOMP Workshops, том 10489 из Lecture Notes in Computer Science, стр. 114-126. Springer, (2017)Reuse in Safety Critical Systems: Educational Use Case., , и . EUROMICRO-SEAA, стр. 402-407. IEEE Computer Society, (2013)