Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01615148
Contributor : Jean-Pierre Talpin <>
Submitted on : Thursday, October 12, 2017 - 8:49:53 AM
Last modification on : Friday, January 8, 2021 - 3:40:39 AM

Identifiers

  • HAL Id : hal-01615148, version 1

Collections

CNRS | UNIV-RENNES1 | IRISA | INRIA | UR1-UFR-ISTIC | UNIV-RENNES | INSA-RENNES

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. ⟨hal-01615148⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

254

 

Contact                    Legal Notice                    Personal Data