Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | The 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'08) |
| Author | Ana, Cavalli, Rosa, Edgardo Montes, de Oca, Wissam, Mallouli, Lallali, Mounir |
| Maintainer | CCSD |
| Last Updated | May 9, 2026, 14:49 (UTC) |
| Created | May 9, 2026, 14:49 (UTC) |
| Identifier | hal-00865998 |
| Language | en |
| contributor | Méthodes et modèles pour les réseaux (METHODES-SAMOVAR) ; Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR) ; Télécom SudParis (TSP) ; Institut Mines-Télécom [Paris] (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom [Paris] (IMT)-Institut Polytechnique de Paris (IP Paris)-Télécom SudParis (TSP) ; Institut Mines-Télécom [Paris] (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom [Paris] (IMT)-Institut Polytechnique de Paris (IP Paris) |
| coverage | Vancouver, Canada |
| creator | Ana, Cavalli, Rosa |
| date | 2008-10-27T00:00:00 |
| harvest_object_id | dcd0b4f1-760a-466f-8096-ffeb57c1a3aa |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-01-21T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.1109/DS-RT.2008.43 |
| set_spec | type:COMM |