Author:
Bertolini Cristiano,Schäf Martin,Stolz Volker
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Blood Transfusion Medical Benchmark, https://collab.cs.umass.edu/groups/laser_library/wiki/04be2/BTBenchmarkDownloads.html
2. Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing Medical Processes. In: Proceedings of the 30th Intl. Conf. on Software Engineering, ICSE 2008, pp. 623–632. ACM, New York (2008)
3. Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model-driven design. Sci. Comp. Prog. 74(4), 168–196 (2009)
4. LNCS;Z. Chen,2011
5. eHealth Initiative. National progress report on ehealth (July 2010), http://www.ehealthinitiative.org
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strategic Healthcare Service Management;Healthcare Policy and Reform;2019
2. HL-7 Based Middleware Standard for Healthcare Information System: FHIR;Proceedings of 2nd International Conference on Communication, Computing and Networking;2018-09-08
3. Strategic Healthcare Service Management;Strategic Marketing Management and Tactics in the Service Industry;2017
4. Formal Verification of a Microfluidic Device for Blood Cell Separation;Scalable Computing: Practice and Experience;2016-08-01
5. Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis;Scalable Computing: Practice and Experience;2016-08-01