Items related to Runtime Verification: 19th International Conference,...
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.
The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.
The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Runtime Verification: 19th International Conference,...
Stock Image
Runtime Verification (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # b5477ced0e92f04b0b6ca45a5d85a1e0
Buy New
US$ 69.18
US$ 7.84 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Runtime Verification
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-270822
Stock Image
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030320782_new
Buy New
US$ 84.81
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030320782
Buy New
US$ 81.02
US$ 20.90 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Runtime Verification
Published by
Springer International Publishing Okt 2019, 2019
ISBN 10: 3030320782
ISBN 13: 9783030320782
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 424 pp. Englisch. Seller Inventory # 9783030320782
Buy New
US$ 82.62
US$ 26.53 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8?11, 2019, Proceedings: 11757 (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 369407141
Buy New
US$ 114.36
US$ 8.77 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Runtime Verification
Published by
Springer International Publishing, 2019
ISBN 10: 3030320782
ISBN 13: 9783030320782
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 s. Seller Inventory # 385699806
Buy New
US$ 73.13
US$ 56.51 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Runtime Verification: 19th International Conference, Rv 2019, Porto, Portugal, October 8-11, 2019, Proceedings
Published by
Springer-Verlag New York Inc, 2019
ISBN 10: 3030320782
ISBN 13: 9783030320782
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 424 pages. 9.25x6.10x0.94 inches. In Stock. Seller Inventory # x-3030320782
Buy New
US$ 116.76
US$ 16.86 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8?11, 2019, Proceedings: 11757 (Lecture Notes in Computer Science)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18376638320
Buy New
US$ 123.68
US$ 11.48 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Runtime Verification
Published by
Springer, Springer VS Okt 2019, 2019
ISBN 10: 3030320782
ISBN 13: 9783030320782
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 424 pp. Englisch. Seller Inventory # 9783030320782
Buy New
US$ 82.62
US$ 69.20 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available