Related Books

Formal Methods for Distributed System Development
Language: en
Pages: 414
Authors: Tommaso Bolognesi
Categories: Computers
Type: BOOK - Published: 2013-03-20 - Publisher: Springer

DOWNLOAD EBOOK

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV
Formal Methods for Distributed System Development
Language: en
Pages: 428
Authors: Tommaso Bolognesi
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

DOWNLOAD EBOOK

Formal Methods for Embedded Distributed Systems
Language: en
Pages: 275
Authors: Fabrice Kordon
Categories: Computers
Type: BOOK - Published: 2007-05-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment proc
Formal Methods for Open Object-based Distributed Systems
Language: en
Pages: 408
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2016-02-13 - Publisher: Springer

DOWNLOAD EBOOK

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications sys
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 304
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2003-11-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems.