• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.

Tássio Fernandes CostaAlvaro SobrinhoLenardo Chaves e SilvaLeandro Dias da SilvaAngelo Perkusich
Published in: IECON (2019)
Keyphrases
  • reference model
  • control system
  • coloured petri nets
  • reference models
  • database
  • real world
  • multi agent
  • relational databases
  • third party
  • high pressure