Modeling and Verification of Parallel Processes

Modeling and Verification of Parallel Processes
Author: Franck Cassez
Publisher:
Total Pages: 244
Release: 2014-01-15
Genre:
ISBN: 9783662194003


Download Modeling and Verification of Parallel Processes Book in PDF, Epub and Kindle


Modeling and Verification of Parallel Processes
Language: en
Pages: 244
Authors: Franck Cassez
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

GET EBOOK

Modeling and Verification of Parallel Processes
Language: en
Pages: 228
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

GET EBOOK

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
Modeling and Verification of Parallel Processes
Language: en
Pages: 0
Authors: Franck Cassez
Categories:
Type: BOOK - Published: 2001 - Publisher:

GET EBOOK

Modeling and Verification of Parallel Processes
Language: en
Pages:
Authors: Franck Cassez
Categories:
Type: BOOK - Published: - Publisher:

GET EBOOK

Modeling and Verification of Parallel Processes
Language: en
Pages: 234
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2001-10-24 - Publisher: Springer

GET EBOOK

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