Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction

Type de document :
Communication dans un congrès
IFIP International Conference on Testing Software and Systems (ICTSS), 2010, Natal, Brazil. pp.188-204, 2010, 〈10.1007/978-3-642-16573-3_14〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00767416
Contributeur : Sofia Cassel <>
Soumis le : mercredi 19 décembre 2012 - 17:57:41
Dernière modification le : mardi 18 décembre 2018 - 01:12:31

Lien texte intégral

Identifiants

Collections

Citation

Fides Aarts, Bengt Jonsson, Johan Uijen. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. IFIP International Conference on Testing Software and Systems (ICTSS), 2010, Natal, Brazil. pp.188-204, 2010, 〈10.1007/978-3-642-16573-3_14〉. 〈hal-00767416〉

Partager

Métriques

Consultations de la notice

217