Modeling and Verification of Parallel Processes

Modeling and Verification of Parallel Processes
Author :
Publisher :
Total Pages : 244
Release :
ISBN-10 : 3662194007
ISBN-13 : 9783662194003
Rating : 4/5 (07 Downloads)

Book Synopsis Modeling and Verification of Parallel Processes by : Franck Cassez

Download or read book Modeling and Verification of Parallel Processes written by Franck Cassez and published by . This book was released on 2014-01-15 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Modeling and Verification of Parallel Processes Related Books

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

DOWNLOAD EBOOK

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

DOWNLOAD 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:

DOWNLOAD EBOOK

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

DOWNLOAD EBOOK

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

DOWNLOAD 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