Parameterized verification of many identical probabilistic timed processes

Nathalie Bertrand 1 Paulin Fournier 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Communication dans un congrès
FSTTCS - 33rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00914263
Contributeur : Nathalie Bertrand <>
Soumis le : jeudi 5 décembre 2013 - 11:01:58
Dernière modification le : mercredi 16 mai 2018 - 11:24:06

Identifiants

  • HAL Id : hal-00914263, version 1

Citation

Nathalie Bertrand, Paulin Fournier. Parameterized verification of many identical probabilistic timed processes. FSTTCS - 33rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India. 2013. 〈hal-00914263〉

Partager

Métriques

Consultations de la notice

480