Hoppa till sidans huvudinnehåll

Lectures on Runtime Verification

Introductory and Advanced Topics

Häftad, Engelska, 2018

AvEzio Bartocci,Yliès Falcone

969 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


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.

Produktinformation

  • Utgivningsdatum2018-02-11
  • Mått155 x 235 x 20 mm
  • Vikt382 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor233
  • Upplaga18001
  • FörlagSpringer International Publishing AG
  • ISBN9783319756318
Hoppa över listan

Du kanske också är intresserad av

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Häftad, 2010

749 kr

Lars Kepler - Medusa, Inbunden
  • Nyhet
Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Pascal Engman - Kärleken, Inbunden
  • Nyhet
Del 3

Kärleken

Pascal Engman

Inbunden, 2026

269 kr299 kr