Transforming Medical Resource Utilization Process to Verifiable Timed Automata Models in Cyber-Physical Systems.

Rizwan Parveen, Neena Goveas

Browse the full ICDCIT paper archive.