Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems
| Autor: | Freitas, Leo, Scott, William E., III, Degenaar, Patrick |
|---|---|
| Zdroj: | In Science of Computer Programming 1 December 2020 200 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect