Verification using simulation

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00171538
Contributor : Brigitte Bidegaray-Fesquet <>
Submitted on : Wednesday, September 12, 2007 - 3:49:45 PM
Last modification on : Thursday, January 11, 2018 - 6:14:33 AM

Identifiers

  • HAL Id : hal-00171538, version 1

Collections

IMAG | UGA

Citation

Antoine Girard, George J. Pappas. Verification using simulation. Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.272-286. ⟨hal-00171538⟩

Share

Metrics

Record views

89