Author of the publication

Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts.

, , , and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reuse in Safety Critical Systems: Educational Use Case Final Results., , and . EUROMICRO-SEAA, page 290-297. IEEE Computer Society, (2015)Model-Based Verification of Safety Contracts., , , , and . SEFM Workshops, volume 8938 of Lecture Notes in Computer Science, page 101-115. Springer, (2014)Reuse in Safety Critical Systems: Educational Use Case First Experiences., , and . EUROMICRO-SEAA, page 417-422. IEEE Computer Society, (2014)Runtime observable and adaptable UML state machines: models@run.time approach., , , and . SAC, page 1818-1827. ACM, (2019)MDE based IoT Service to enhance the safety of controllers at runtime., , , , , and . STAF (Co-Located Events), volume 2405 of CEUR Workshop Proceedings, page 33-38. CEUR-WS.org, (2019)Reuse in Safety Critical Systems: Educational Use Case., , and . EUROMICRO-SEAA, page 402-407. IEEE Computer Society, (2013)Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts., , , and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 114-126. Springer, (2017)