Abstraction of hybrid systems for verification - CentraleSupélec Access content directly
Conference Papers Year : 2009
No file

Dates and versions

hal-00365657 , version 1 (04-03-2009)

Identifiers

  • HAL Id : hal-00365657 , version 1

Cite

Hervé Guéguen, J. Zaytoon. Abstraction of hybrid systems for verification. Fourth international conference on control sciences, Jan 2009, Moscou, Russia. ⟨hal-00365657⟩
121 View
0 Download

Share

Gmail Facebook X LinkedIn More