Related Books
Language: en
Pages: 364
Pages: 364
Type: BOOK - Published: 2003-05-21 - Publisher: Springer
This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, he
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, hel
Language: en
Pages: 494
Pages: 494
Type: BOOK - Published: 2001-10-22 - Publisher: Cambridge University Press
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book
Language: en
Pages: 438
Pages: 438
Type: BOOK - Published: 2003-06-29 - Publisher: Springer
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pen
Language: en
Pages: 461
Pages: 461
Type: BOOK - Published: 2006-04-11 - Publisher: Springer
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols
