Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[Kwi12]
M. Kwiatkowska.
Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled Devices.
In
Proc. 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP'12)
, pages XIII-XIV, Springer.
2012.
[
pdf
] [
bib
]
Downloads:
pdf
(83 KB)
bib
Notes:
The original publication is available at
link.springer.com
.
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications