Login / Signup

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

Rizwan ParveenNeena Goveas
Published in: ICDCIT (2022)
Keyphrases
  • resource utilization
  • timed automata
  • cyber security
  • quality of service
  • artificial intelligence
  • data analysis