Skip to main content

Sensing everywhere: on quantitative verification for ubiquitous computing

Prof. Marta Kwiatkowska ( University of Oxford )

 

 

Share this: