Related Books

Runtime Verification
Language: en
Pages: 470
Authors: Christian Colombo
Categories: Computers
Type: BOOK - Published: 2018-11-07 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018
Runtime Verification
Language: en
Pages: 439
Authors: Axel Legay
Categories: Computers
Type: BOOK - Published: 2013-09-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013.
Runtime Verification
Language: en
Pages: 519
Authors: Yliès Falcone
Categories: Computers
Type: BOOK - Published: 2016-09-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016.
Runtime Verification
Language: en
Pages: 442
Authors: Shuvendu Lahiri
Categories: Computers
Type: BOOK - Published: 2017-09-04 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 201
Runtime Verification
Language: en
Pages: 222
Authors: Oleg Sokolsky
Categories: Computers
Type: BOOK - Published: 2007-12-06 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada. Th