|
[Kwi12]
Marta Kwiatkowska.
Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled Devices.
In Proc. 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP'12), Springer.
September 2012.
[pdf]
[bib]
[Invited talk on research directions for verification of sensor-enabled devices, including PRISM-based analyses.]
|
|
Downloads:
 pdf (91 KB)
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|