( en | de | ru )

 

Disambiguierung von "Jee, Eunkyoung"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Modeling and Verification of Safety-Critical Software.

, , und . IEEE Software, 26 (3): 42-49 (2009)

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.

Ulrich Jeenel

Jee Vang

Akila Jeeson Daniel

Kwang-Sin Jee

Hirale Jeevan

 

Weitere Publikationen von Autoren mit dem selben Namen

A runtime verification framework for dynamically adaptive multi-agent systems., , , , und . BigComp, Seite 509-512. IEEE Computer Society, (2016)Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram., , , und . SAFECOMP, Volume 6351 von Lecture Notes in Computer Science, Seite 223-236. Springer, (2010)Control and Data Flow Testing on Function Block Diagrams., , und . SAFECOMP, Volume 3688 von Lecture Notes in Computer Science, Seite 67-80. Springer, (2005)Data-driven environment modeling for adaptive system-of-systems., , , und . SAC, Seite 2044-2047. ACM, (2019)Timed pattern-based analysis of collaboration failures in system-of-systems., , , und . J. Syst. Softw., (April 2023)A Safety-Assured Development Approach for Real-Time Software., , , , , und . RTCSA, Seite 133-142. IEEE Computer Society, (2010)Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System., , , , und . APSEC, Seite 386-395. IEEE, (2023)Assurance Cases in Model-Driven Development of the Pacemaker Software., , und . ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 343-356. Springer, (2010)Means-ends and whole-part traceability analysis of safety requirements., , , und . J. Syst. Softw., 83 (9): 1612-1621 (2010)Formal Modeling and Verification of Safety-Critical Software., , und . IEEE Software, 26 (3): 42-49 (2009)