Temporal and Behavior Characterization of States in Timed Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2002

Temporal and Behavior Characterization of States in Timed Systems

Domaines

Réseaux et télécommunications [cs.NI]

Antoine Rollet  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00354674

Soumis le : mardi 20 janvier 2009-15:16:16

Dernière modification le : mardi 18 avril 2023-10:00:05

Fichier non déposé

Dates et versions

hal-00354674 , version 1 (20-01-2009)

Identifiants

  • HAL Id : hal-00354674 , version 1

Citer

Sébastien Salva, Antoine Rollet, H. Fouchal. Temporal and Behavior Characterization of States in Timed Systems. Annnual International Conference on Computer and Information Science, ICIS'02, Aug 2002, Séoul, South Korea. p. ⟨hal-00354674⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-AG PRES_CLERMONT CNRS LIMOS CLERMONT-AUVERGNE-INP
100 Consultations
0 Téléchargements

Partager

More