Claude Jard – författare
Visar alla böcker från författaren Claude Jard. Handla med fri frakt och snabb leverans.
7 produkter
Communicating Embedded Systems
Software and Design
Av Olivier H. Roux, Claude Jard
E-bok, 2013
2216 kr
Lägg i varukorg
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a …
Communicating Embedded Systems
Software and Design
Av Olivier H. Roux, Claude Jard
E-bok, 2013
2216 kr
Lägg i varukorg
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a …
Communicating Embedded Systems
Software and Design
Av Claude Jard, Olivier H. Roux
Inbunden, 2009
1988 kr
Lägg i varukorg
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a …
Modeling and Verification of Parallel Processes
4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Av Franck Cassez, Claude Jard m. fl.
Häftad, 2001
489 kr
Lägg i varukorg
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and …
Modeling and Verification of Parallel Processes
4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Av Mark D. Ryan, Brigitte Rozoy m. fl.
E-bok, 2003
571 kr
Lägg i varukorg
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and …
Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
Häftad, 2008
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from …
Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
E-bok, 2008
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from …
