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 | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 777793