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 3.1.15 + AHUNTSIC [CC License]

info visites 1757482

UGA

CNRS

INP Grenoble