Rechercher
Toutes les collections
Livres anciens
Images
Fonds Jean Bernabé
Fonds René Maran
Esclaves de Guyane
Audio-Vidéo
Études et recherches
Études caribéennes
Tramil
Or
Esclavage
Gallica
DLOC
Ifremer
Thèses.fr
HAL-UA
BNPM
UWI
Recherche avancée
Patrimoine
Livres anciens
Images
Fonds Jean Bernabé
Fonds René Maran
Esclaves de Guyane
Esclavage en Martinique
Catalogue collectif des périodiques
Recherche
Audio-Vidéo
Études et recherches
Etudes Caribéennes
Tramil
Thématiques
Or
Esclavage et résistances
1 document satisfait la requête. Vérifiez les termes recherchés ou
relancez la recherche sur le texte intégral
Temporal and Behavior Characterization of States in Timed Systems
Auteur(s)
:
Salva, Sébastien
Rollet, Antoine
Fouchal, H.
Auteurs secondaires
:
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS) ; Centre National de la Recherche Scientifique (CNRS) - Sigma CLERMONT (Sigma CLERMONT) - Université d'Auvergne - Clermont-Ferrand I (UdA) - Université Blaise Pascal - Clermont-Ferrand 2 (UBP)
Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2
Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG)
Éditeur(s)
:
HAL CCSD
Résumé
: International audience
ACIS Annnual International Conference on Computer and Information Science, ICIS'02
Séoul, South Korea
hal-00354674
https://hal.archives-ouvertes.fr/hal-00354674
Partager
|
Plus
Voir aussi
[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]