Divergence Detection for CCSL Specification via Clock Causality Chain

Type de document :
Communication dans un congrès
Symposium on Dependable Software Engineering Theories, Tools and Applications, Nov 2016, Beijing, China. Springer International Publishing, Dependable Software Engineering: Theories, Tools, and Applications (9984), Programming and Software Engineering. <http://www.springer.com/us/book/9783319476766#otherversion=9783319476766>
Liste complète des métadonnées

https://hal.inria.fr/hal-01372694
Contributeur : Team Aoste <>
Soumis le : mardi 27 septembre 2016 - 15:25:57
Dernière modification le : mardi 13 décembre 2016 - 15:43:04

Identifiants

  • HAL Id : hal-01372694, version 1

Collections

Citation

Qingguo Xu, Julien Deantoni, Robert De Simone. Divergence Detection for CCSL Specification via Clock Causality Chain. Symposium on Dependable Software Engineering Theories, Tools and Applications, Nov 2016, Beijing, China. Springer International Publishing, Dependable Software Engineering: Theories, Tools, and Applications (9984), Programming and Software Engineering. <http://www.springer.com/us/book/9783319476766#otherversion=9783319476766>. <hal-01372694>

Partager

Métriques

Consultations de la notice

225