Hybrid Dynamic Systems verification with Mixed Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Hybrid Dynamic Systems verification with Mixed Petri Nets

C. Valentin-Roubinet
Laboratoire d'automatique et de génie des procédés

Domaines

Automatique / Robotique Automatique Modélisation et simulation Génie des procédés

Claire VALENTIN  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01977159

Soumis le : jeudi 10 janvier 2019-15:38:50

Dernière modification le : vendredi 24 mars 2023-14:53:09

Fichier non déposé

Dates et versions

hal-01977159 , version 1 (10-01-2019)

Identifiants

  • HAL Id : hal-01977159 , version 1

Citer

C. Valentin-Roubinet. Hybrid Dynamic Systems verification with Mixed Petri Nets. Symposium ADPM'2000, Automation of Mixed Processes: Hybrid Dynamic Systems, Sep 2000, Dortmund, Germany. ⟨hal-01977159⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-LYON1 LAGEP TDS-MACS DYCOP UDL LAGEPP
10 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More