Lectures on Runtime Verification

Introductory and Advanced Topics

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Lectures on Runtime Verification by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319756325
Publisher: Springer International Publishing Publication: February 10, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319756325
Publisher: Springer International Publishing
Publication: February 10, 2018
Imprint: Springer
Language: English

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.

More books from Springer International Publishing

Cover of the book Financing Sustainable Development in Africa by
Cover of the book World Literature, Neoliberalism, and the Culture of Discontent by
Cover of the book Computations and Computing Devices in Mathematics Education Before the Advent of Electronic Calculators by
Cover of the book Larisa Maksimova on Implication, Interpolation, and Definability by
Cover of the book Wireless Rechargeable Sensor Networks by
Cover of the book Symbols that Bind, Symbols that Divide by
Cover of the book Mental Health and Older People by
Cover of the book Simulating Societal Change by
Cover of the book Histamine and Histamine Receptors in Health and Disease by
Cover of the book A Journey through Manufacturing and Supply Chain Strategy Research by
Cover of the book Iranian Entrepreneurship by
Cover of the book Neuroscience in Information Systems Research by
Cover of the book The Europeanisation of the Western Balkans by
Cover of the book OWL: Experiences and Directions – Reasoner Evaluation by
Cover of the book Jet Physics at the LHC by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy