Jean-Pierre Talpin – författare
Visar alla böcker från författaren Jean-Pierre Talpin. Handla med fri frakt och snabb leverans.
12 produkter
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
Inbunden, 2004
1748 kr
Lägg i varukorg
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design …
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
2004
2431 kr
Lägg i varukorg
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design …
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
Häftad, 2011
1748 kr
Lägg i varukorg
Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre sent a careful division and design of hardware and software parts of …
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Av Sandeep Kumar Shukla, Jean-Pierre Talpin
Inbunden, 2010
1095 kr
Lägg i varukorg
Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and …
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Av Jean-Pierre Talpin, Sandeep Kumar Shukla
E-bok, 2010
1427 kr
Lägg i varukorg
Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and …
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Av Sandeep Kumar Shukla, Jean-Pierre Talpin
Häftad, 2014
1329 kr
Lägg i varukorg
Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and …
Dependable Software Engineering. Theories, Tools, and Applications
8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Av Wei Dong, Jean-Pierre Talpin
Häftad, 2022
736 kr
Lägg i varukorg
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 …
Dependable Software Engineering. Theories, Tools, and Applications
8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Av Jean-Pierre Talpin, Wei Dong
E-bok, 2022
923 kr
Lägg i varukorg
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022. The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 …
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings
Av Shin Nakajima, Jean-Pierre Talpin m. fl.
Inbunden, 2017
1095 kr
Lägg i varukorg
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods …
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings
Av Huafeng Yu, Masumi Toyoshima m. fl.
E-bok, 2017
1459 kr
Lägg i varukorg
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods …
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings
Av Shin Nakajima, Jean-Pierre Talpin m. fl.
Häftad, 2018
1095 kr
Lägg i varukorg
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods …
