Verimag

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

info visites 911913