Autre Publication Scientifique
Année : 2006
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 31 octobre 2025-14:19:49
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
203
Consultations
0
Téléchargements
