Extension de la logique temporelle la conception des systmes dynamiques hybrides - Ecole Nationale d'Ingénieurs de Brest Accéder directement au contenu
Communication Dans Un Congrès Année : 1994

Extension de la logique temporelle la conception des systmes dynamiques hybrides

Domaines

Informatique Automatique / Robotique Modélisation et simulation Logique en informatique [cs.LO]

Pierre De Loor  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00611278

Soumis le : mardi 26 juillet 2011-09:23:04

Dernière modification le : mardi 5 décembre 2023-10:36:06

Fichier non déposé

Dates et versions

hal-00611278 , version 1 (26-07-2011)

Identifiants

  • HAL Id : hal-00611278 , version 1

Citer

J. Zaytoon, Pierre de Loor, G. Villermain-Lecolier. Extension de la logique temporelle la conception des systmes dynamiques hybrides. ADPM'94 Automatisation des processus mixtes, 1994, Belgique. pp.57-65. ⟨hal-00611278⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST URCA ENIB CERV TDS-MACS CRESTIC LMR
91 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More