Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems
Safety and effectiveness are crucial quality attributes for insulin infusion pump systems. Therefore, regulatory agencies require the quality evaluation and approval of such systems before the market to decrease the risk of harm, motivating the usage of a formal Model-Based Approach (MBA) to improve...
Uloženo v:
| Hlavní autoři: | , , , , |
|---|---|
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
MDPI AG
2022-01-01
|
| Edice: | Applied Sciences |
| Témata: | |
| On-line přístup: | https://www.mdpi.com/2076-3417/12/3/1475 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|