A quantitative approach for imput generation in real-time testing of stochastic systems

Lorenzo Ridi. A quantitative approach for imput generation in real-time testing of stochastic systems. PhD thesis, University of Florence, Italy, 2012. [doi]

Abstract

Abstract is missing.