Reasoning of safety-critical medical devices using formal methods
| Autor: | Jetley, Raoul |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2002 |
| Předmět: | |
| Popis: | Thesis (M.S.)--North Carolina State University. Includes vita. Includes bibliographical references (p. 77-78). |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|