Franck Cassez – författare
Visar alla böcker från författaren Franck Cassez. Handla med fri frakt och snabb leverans.
6 produkter
Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Av Franck Cassez, Jean-Francois Raskin
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show …
Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Av Jean-Francois Raskin, Franck Cassez
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show …
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 …
