Home > Verimag > Publications

Technical Reports

Thao Dang and Tarik Nahhal
Randomized simulation of Hybrid Systems (2006)

TR-2006-11.pdf

Keywords: Hybrid systems, validation, coverage

Abstract:

Contact | Site Map | Site powered by SPIP 4.4.21 + AHUNTSIC [CC License]

info visites 8349122

UGA

CNRS

INP Grenoble