( en | de | ru )

 

Disambiguierung von "Kang, Eun-Young"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Energy-aware Cyber-Physical Systems Verification and Optimization.

, , und . FedCSIS (Position Papers), Volume 26 von Annals of Computer Science and Information Systems, Seite 205-210. (2021)

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.

Eun-Young Kang

Eun-sil Kang

Eun-Joo Kang

Eun-Young Hong

Eun-Young Lee

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Energy-aware Cyber-Physical Systems Verification and Optimization., , und . FedCSIS (Position Papers), Volume 26 von Annals of Computer Science and Information Systems, Seite 205-210. (2021)Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System., , , , , , und . ICSRS, Seite 251-258. IEEE, (2022)Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System., und . FASE, Volume 11424 von Lecture Notes in Computer Science, Seite 210-227. Springer, (2019)Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems., und . RTSS, Seite 580-583. IEEE, (2019)Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems., , und . ICECCS, Seite 11-20. IEEE, (2019)A Graph-Based Global Registration for 2D Mosaics., , und . ICPR, Seite 1257-1260. IEEE Computer Society, (2000)InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics., und . MECO, Seite 1-5. IEEE, (2020)ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems.. ICSRS, Seite 518-522. IEEE, (2023)Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS., , und . CoRR, (2021)Robust Affine Motion Estimation in Joint Image Space Using Tensor Voting., , und . ICPR (4), Seite 256-259. IEEE Computer Society, (2002)