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
Integrated tool for testing timed systems
Auteur(s)
:
Fouchal, H.
Pierre, Laurent
Gruson, Sébastien
Rabat, Cyril
Rollet, Antoine
Auteurs secondaires
:
Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG)
Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (CRESTIC) ; Université de Reims Champagne-Ardenne (URCA)
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
Éditeur(s)
:
HAL CCSD
Résumé
: International audience
In Proceedings of Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005)
Guadalajara, Mexico
hal-00354645
https://hal.archives-ouvertes.fr/hal-00354645
Partager
|
Plus
Voir aussi
[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]