( en | de | ru )

 

Disambiguation of "Lee, Insup"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.

, , , , , and . SAFECOMP, volume 8153 of Lecture Notes in Computer Science, page 228-240. Springer, (2013)

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.

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)

Kishik Lee

Sunhee Lee

 

Other publications of authors with the same name

Hardware Acceleration for Programmable Real-Time Ethernet., , and . IEEE Trans. Ind. Informatics, 5 (3): 325-337 (2009)Challenges and opportunities in deeply embedded systems security., and . SIGBED Rev., 5 (1): 25 (2008)Towards compositional mixed-criticality real-time scheduling in open systems: invited paper., , , , and . SIGBED Rev., 13 (3): 49-51 (2016)A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems., , , , , and . Real Time Syst., 15 (3): 189-219 (1998)Optimal virtual cluster-based multiprocessor scheduling., , and . Real Time Syst., 43 (1): 25-59 (2009)A Graphical Language for Specifying and Analyzing Real-Time Systems., and . Integr. Comput. Aided Eng., 5 (4): 279-302 (1998)An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems., , , , , , , , , and 1 other author(s). Computer, 51 (11): 46-55 (2018)High-Confidence Medical Device Software and Systems., , , , , , , and . Computer, 39 (4): 33-38 (2006)Guaranteed Conformance of Neurosymbolic Models to Natural Constraints., , , and . CoRR, (2022)Adding Time to Synchronous Process Communications., and . IEEE Trans. Computers, 36 (8): 941-948 (1987)