Abstraction of hybrid systems for verification - CentraleSupélec
Communication Dans Un Congrès Année : 2009

Abstraction of hybrid systems for verification

Domaines

Automatique / Robotique

Myriam Andrieux  : Connectez-vous pour contacter le contributeur

https://centralesupelec.hal.science/hal-00365657

Soumis le : mercredi 4 mars 2009-09:19:34

Dernière modification le : lundi 2 septembre 2024-16:44:23

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00365657 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UNIV-RENNES1 CNRS URCA INSA-RENNES IETR SUP_ASH SUP_IETR CENTRALESUPELEC TDS-MACS UR1-MATH-STIC UR1-UFR-ISTIC IETR-AUT CRESTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM NANTES-UNIVERSITE
136 Consultations
0 Téléchargements

Partager

More