Compositional methods for CPS design (keynote abstract)

Jean-Pierre Talpin 1
1 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Communication dans un congrès
3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications, Oct 2017, Changsha, China. Springer, 〈http://lcs.ios.ac.cn/setta2017/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01615148
Contributeur : Jean-Pierre Talpin <>
Soumis le : jeudi 12 octobre 2017 - 08:49:53
Dernière modification le : jeudi 11 janvier 2018 - 06:28:14

Identifiants

  • HAL Id : hal-01615148, version 1

Citation

Jean-Pierre Talpin. Compositional methods for CPS design (keynote abstract). 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications, Oct 2017, Changsha, China. Springer, 〈http://lcs.ios.ac.cn/setta2017/〉. 〈hal-01615148〉

Partager

Métriques

Consultations de la notice

74