QUPES: Verifying Quantitative Properties of Embedded Software
Duration: January 2011
until January 2011
QUPES: Verifying Quantitative Properties of Embedded Software
Duration: January 2011
until January 2011 |