Rare Event Handling in Signalling Cascades

Benoît Barbot 1, 2 Serge Haddad 1, 2 Monika Heiner 3 Claudine Picaronny 1, 2
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Article dans une revue
International Journal On Advances in Systems and Measurements, IARIA, 2015, 8 (1-2), pp.69-79
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01242981
Contributeur : Benedikt Bollig <>
Soumis le : lundi 14 décembre 2015 - 13:40:11
Dernière modification le : lundi 26 novembre 2018 - 13:02:14

Identifiants

  • HAL Id : hal-01242981, version 1

Citation

Benoît Barbot, Serge Haddad, Monika Heiner, Claudine Picaronny. Rare Event Handling in Signalling Cascades. International Journal On Advances in Systems and Measurements, IARIA, 2015, 8 (1-2), pp.69-79. 〈hal-01242981〉

Partager

Métriques

Consultations de la notice

236