MPG.eBooks - Author Search Results

Cover Image

1

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

Published 2022

Springer Nature Switzerland

Other Authors: “...Talpin, Jean-Pierre...”

Cover Image

2

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction

Published 2010

Springer US

Other Authors: “...Talpin, Jean-Pierre...”

Cover Image

3

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

Published 2017

Springer Nature Singapore

Other Authors: “...Talpin, Jean-Pierre...”

Cover Image

4

Formal Methods and Models for System Design : A System Level Perspective

Published 2004

Springer US

Other Authors: “...Talpin, Jean-Pierre...”