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...
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
MDPI AG
2022-01-01
|
| Schriftenreihe: | Applied Sciences |
| Schlagworte: | |
| Online-Zugang: | https://www.mdpi.com/2076-3417/12/3/1475 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|