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 15 novembre 2018 - 11:58:59

Identifiants

  • HAL Id : hal-01615148, version 1

Collections

IRISA | INRIA2017 | INRIA | UR1-UFR-ISTIC | UNIV-RENNES | CENTRALESUPELEC

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

194

Contact


archive-ouverte@inria.fr