Skip to Main content Skip to Navigation
Other publications

Reachability computation for safety analysis: an approach based on linear inclusion abstraction

Document type :
Other publications
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00287210
Contributor : Myriam Andrieux <>
Submitted on : Wednesday, June 11, 2008 - 11:21:49 AM
Last modification on : Friday, July 10, 2020 - 4:06:22 PM

Identifiers

  • HAL Id : hal-00287210, version 1

Citation

Hervé Guéguen. Reachability computation for safety analysis: an approach based on linear inclusion abstraction. 2006. ⟨hal-00287210⟩

Share

Metrics

Record views

284