( en | de | ru )

 

Disambiguierung von "Lee, Insup"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Assurance for Plug & Play Medical Systems.

, , , , , , und . SAFECOMP, Volume 9337 von Lecture Notes in Computer Science, Seite 228-242. Springer, (2015)

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.

Xavier Lee Lee

Bongsoo Lee

The role of negative regulators in coordination of the Myxococcus xanthus developmental program. Uni Marburg, (2009)

Min-Hi Lee

Induction and regulation of antiviral defence mechanisms through intracytoplasmic sensors. HU Berlin, (2009)

Sangbok Lee

Nathaniel Lee

 

Weitere Publikationen von Autoren mit dem selben Namen

Verisim: Formal Analysis of Network Simulations., , , , , , und . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems., , , , , , , , , und 1 andere Autor(en). Computer, 51 (11): 46-55 (2018)Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach., , , , , , , und . CoRR, (2023)Optimal Virtual Cluster-based Multiprocessor Scheduling., , und . CoRR, (2020)Detecting security leaks in hybrid systems with information flow analysis., , , , , und . MEMOCODE, Seite 14:1-14:11. ACM, (2019)Runtime Verification for Wireless Sensor Network Applications., , , und . Runtime Verification, Volume 07011 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Generating embedded software from hierarchical hybrid models., , , , und . LCTES, Seite 171-182. ACM, (2003)SpectraVue - An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research., , und . UbiComp/ISWC Adjunct, Seite 146-150. ACM, (2023)Exploiting TTP Co-Occurrence via GloVe-Based Embedding With MITRE ATT&CK Framework., , und . IEEE Access, (2023)PAC-Wrap: Semi-Supervised PAC Anomaly Detection., , , , und . KDD, Seite 945-955. ACM, (2022)