Related Books

Modeling and Analysis of Real-time Distributed Systems Using Timing Constraint Petri Nets
Language: en
Pages: 234

Modeling and Analysis of Real-time Distributed Systems Using Timing Constraint Petri Nets

Authors: Yao-Hsiung Chang
Categories:
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Modeling and Analysis of Networked Real-time Systems Via Fuzzy-timing Petri Nets
Language: en
Pages: 254

Modeling and Analysis of Networked Real-time Systems Via Fuzzy-timing Petri Nets

Authors: Yi Zhou
Categories:
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Models and Analysis for Distributed Systems
Language: en
Pages: 249

Models and Analysis for Distributed Systems

Authors: Serge Haddad
Categories: Computers
Type: BOOK - Published: 2013-02-07 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical
Formal Modeling and Analysis of Timed Systems
Language: en
Pages: 252

Formal Modeling and Analysis of Timed Systems

Authors: Martin Fränzle
Categories: Computers
Type: BOOK - Published: 2016-08-16 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Queb
Elements of Distributed Algorithms
Language: en
Pages: 316

Elements of Distributed Algorithms

Authors: Wolfgang Reisig
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

DOWNLOAD EBOOK