Related Books
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 2005-07-01 - Publisher: Springer
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97,
Language: en
Pages: 449
Pages: 449
Type: BOOK - Published: 2003-05-15 - Publisher: Springer
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001. The 21 revi
Language: en
Pages: 262
Pages: 262
Type: BOOK - Published: 2017-02-17 - Publisher: CRC Press
This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It
Language: en
Pages: 484
Pages: 484
Type: BOOK - Published: 1998-03-18 - Publisher: Springer Science & Business Media
ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establish
Language: en
Pages: 356
Pages: 356
Type: BOOK - Published: 1998-09-02 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held