Go to main content

Lectures on Runtime Verification : Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone.

Bartocci, Ezio, editor.; Falcone, Yliès, editor.
2018
QA76.758
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Lectures on Runtime Verification : Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone.
ISBN
9783319756325
331975632X
9783319756318
3319756311
DOI
https://doi.org/10.1007/978-3-319-75632-5
Published
Cham : Springer International Publishing : Imprint : Springer, 2018.
Language
English
Description
1 online resource (vii, 233 pages) : illustrations.
Item Number
10.1007/978-3-319-75632-5 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
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.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Added Author
Bartocci, Ezio, editor.
Falcone, Yliès, editor.
Series
Lecture notes in computer science ; 10457.
Available in Other Form
Print version: 9783319756318
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
An Introduction to Runtime Verification
Discovering Concurrency Errors
Monitoring Events That Carry Data
Runtime Error Reaction and Prevention
Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Runtime Verification for Decentralized and Distributed Systems
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.

Browse Subjects

Show more subjects...

Statistics

from
to
Export