[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - From Healthcare System Specifications to Formal Models
Clavel, Daniel, Mahulea, Cristian, Silva, ManuelYear:
2019
DOI:
10.1109/SMC.2019.8914654
File:
PDF, 351 KB
2019