Personal tools
You are here: Home Events Milner Lectures Sensing Everywhere: On Quantitative Verification For Ubiquitous Computing

Sensing Everywhere: On Quantitative Verification For Ubiquitous Computing

Milner Lecture 2012 by Marta Kwiatkowska

Milner Lecture presentation.pdf — PDF document, 5612Kb

Document Actions