Quantitative verification of real-time properties with application to medical devices
<p>Probabilistic model checking is a powerful technique used to ensure the correct functioning of systems which exhibit real-time and stochastic behaviours. Many such systems are embedded and used in safety-critical situations, to mention implantable medical devices. This thesis aims to develo...
| Հիմնական հեղինակներ: | , |
|---|---|
| Այլ հեղինակներ: | |
| Ձևաչափ: | Թեզիս |
| Լեզու: | English |
| Հրապարակվել է: |
2014
|
| Խորագրեր: |