Related Books
Language: en
Pages: 450
Pages: 450
Type: BOOK - Published: 2016-01-09 - Publisher: Springer
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundat
Language: en
Pages: 544
Pages: 544
Type: BOOK - Published: 2013-06-05 - Publisher: Springer
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1,
Language: en
Pages: 368
Pages: 368
Type: BOOK - Published: 2024-02-08 - Publisher: IGI Global
The application of contemporary and emerging operational research optimization methods in renewable energy is vital to creating and maintaining sustainable envi
Language: en
Pages: 389
Pages: 389
Type: BOOK - Published: 2012-09-15 - Publisher: Springer Science & Business Media
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specificati
Language: en
Pages: 473
Pages: 473
Type: BOOK - Published: 2004-08-26 - Publisher: Springer
This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar.