QUPES: Verifying Quantitative Properties of Embedded Software

Duration: January 2011 until January 2011