Runtime Verification

Runtime Verification

4.11 - 1251 ratings - Source

Class diagrams list the fields and methods in each class, and show which classes use other classes, which inherit from others, ... In the Crisis Mangagement case study presented in the following section, the types of crisis ( car accident, fire, etc.)anbsp;...

Title:Runtime Verification
Author:Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Publisher:Springer - 2010-11-18


You Must CONTINUE and create a free account to access unlimited downloads & streaming