Publications of the COSMOS Research Group
2012
[4] Modular Petri net modeling of the Spanish health system ( and ), In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012, IEEE, . [bibtex] [url] [doi]
2014
[3] A model-based approach for the specification and verification of clinical guidelines (, , and ), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, . [bibtex] [url] [doi]
[2]Petri nets with resources for modeling primary healthcare systems ( and ), In 2014 18th International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania, October 17-19, 2014, IEEE, . [bibtex] [doi]
2018
[1] Modular Petri net modeling of healthcare systems (, , and ), In Flexible Services and Manufacturing Journal, volume 30, . [bibtex] [url] [doi]
Powered by bibtexbrowser