Autre Publication Scientifique
Année : 2006
Myriam Andrieux : Connectez-vous pour contacter le contributeur
https://centralesupelec.hal.science/hal-00287210
Soumis le : mercredi 11 juin 2008-11:21:49
Dernière modification le : vendredi 24 mars 2023-14:52:50
Dates et versions
Identifiants
- HAL Id : hal-00287210 , version 1
Citer
Hervé Guéguen. Reachability computation for safety analysis: an approach based on linear inclusion abstraction. 2006. ⟨hal-00287210⟩
Collections
117
Consultations
0
Téléchargements