Cargando…
A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems
Medical Cyber-Physical Systems (MCPS) are context-aware, life-critical systems with patient safety as the main concern, demanding rigorous processes for validation to guarantee user requirement compliance and specification-oriented correctness. In this article, we propose a model-based approach for...
Autores principales: | , , , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
MDPI
2015
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4701248/ https://www.ncbi.nlm.nih.gov/pubmed/26528982 http://dx.doi.org/10.3390/s151127625 |