Applying formal methods to PCEP: an industrial case study from modeling to test generation.
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | ISSN: 0960-0833 |
| Author | Iksoon, Hwang, Lallali, Mounir, Cavalli, Ana Rosa, Verchere, Dominique |
| Maintainer | CCSD |
| Last Updated | May 15, 2026, 21:06 (UTC) |
| Created | May 15, 2026, 21:06 (UTC) |
| Identifier | hal-00706162 |
| 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) |
| creator | Iksoon, Hwang |
| date | 2012-08-15T00:00:00 |
| harvest_object_id | a1d8bd7a-4524-4bcb-b419-776bbb11e635 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-01-23T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.445 |
| set_spec | type:ART |