Author:
Zarneshan Mahsa,Ghassemi Fatemeh,Sirjani Marjan
Publisher
Springer International Publishing
Reference17 articles.
1. Agha, G.: ACTORS - A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1990)
2. Hatcliff, J., et al.: Rationale and architecture principles for medical application platforms. In: Proceedings of the IEEE/ACM Third International Conference on Cyber-Physical Systems, pp. 3–12. IEEE Computer Society (2012)
3. Hewitt, C.: Viewing control structures as patterns of passing messages. Artif. Intell. 8(3), 323–364 (1977)
4. ASTM International: ASTM F2761 - medical devices and medical systems - essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) (2009)
5. Jaghoori, M., Sirjani, M., Mousavi, M.R., Khamespanah, E., Movaghar, A.: Symmetry and partial order reduction techniques in model checking rebeca. Acta Informatica 47(1), 33–66 (2010).
https://doi.org/10.1007/s00236-009-0111-x
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献