( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A runtime verification framework for dynamically adaptive multi-agent systems.

, , , , и . BigComp, стр. 509-512. IEEE Computer Society, (2016)

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.

Ulrich Jeenel

Jee Vang

Akila Jeeson Daniel

Kwang-Sin Jee

Kurt Jeep

 

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

A runtime verification framework for dynamically adaptive multi-agent systems., , , , и . BigComp, стр. 509-512. IEEE Computer Society, (2016)Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram., , , и . SAFECOMP, том 6351 из Lecture Notes in Computer Science, стр. 223-236. Springer, (2010)Control and Data Flow Testing on Function Block Diagrams., , и . SAFECOMP, том 3688 из Lecture Notes in Computer Science, стр. 67-80. Springer, (2005)Data-driven environment modeling for adaptive system-of-systems., , , и . SAC, стр. 2044-2047. ACM, (2019)Timed pattern-based analysis of collaboration failures in system-of-systems., , , и . J. Syst. Softw., (апреля 2023)A Safety-Assured Development Approach for Real-Time Software., , , , , и . RTCSA, стр. 133-142. IEEE Computer Society, (2010)Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System., , , , и . APSEC, стр. 386-395. IEEE, (2023)Assurance Cases in Model-Driven Development of the Pacemaker Software., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 343-356. Springer, (2010)Formal Modeling and Verification of Safety-Critical Software., , и . IEEE Software, 26 (3): 42-49 (2009)Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning., , , и . SoSE, стр. 7-12. IEEE, (2022)