Accueil > 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 | Plan du site | Site réalisé avec SPIP 4.4.2 + AHUNTSIC [CC License]

info visites 4679008

UGA

CNRS

INP Grenoble