( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).

, , , , и . CoRR, (2018)

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.

Chunhui Luo

Chunhui Liu

Chunhui Li

Chunhui Wang

Chunhui Gu

 

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

Mining Timing Constraints from Event Logs for Process Model., , и . COMPSAC, стр. 1011-1016. IEEE, (2020)Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints., , , , и . CoRR, (2018)Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance., , , , и . HPCC/CSS/ICESS, стр. 1160-1165. IEEE, (2015)Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)., , , , и . CoRR, (2018)Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)., , , , и . CoRR, (2018)Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems., , , , и . COMPSAC (1), стр. 760-765. IEEE Computer Society, (2017)Performance Comparisons of Parallel Power Flow Solvers on GPU System., , , , , и . RTCSA, стр. 232-239. IEEE Computer Society, (2012)Model and integrate medical resource availability into verifiably correct executable medical guidelines., , , , и . ICCAD, стр. 964-969. IEEE, (2017)A Gaussian Process Approach for Predictive Maintenance., , , , и . QRS Companion, стр. 745-750. IEEE, (2021)Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models., , , , и . ICCPS, стр. 253-262. IEEE Computer Society / ACM, (2018)