Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample.
| Publicado en: | Journal of Medical Systems Vol. 36; no. 4; pp. 2633 - 2649 |
|---|---|
| Autores principales: | , |
| Formato: | equations & formulas research tables/charts Journal Article |
| Publicado: |
Springer Nature
Aug2012
|
| Acceso en línea: | Ver este registro en EBSCOhost |
| Descripción no disponible. |