Jean-Pierre Talpin

No bio available. Add one in Open Library.

Books by Jean-Pierre Talpin (50 max)

+ shelf+ list

Synthesis of embedded software: frameworks and methodologies for correctness by construction

2010

Sandeep K. Shukla, Jean-Pierre Talpin

+ shelf+ list

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

2017

Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu

+ shelf+ list

Memocode '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design

2017

Jean-Pierre Talpin

+ shelf+ list

Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings

2018

Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu

+ shelf+ list

Dependable Software Engineering. Theories, Tools, and Applications 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, Proceedings

2023

Wei Dong, Jean-Pierre Talpin