Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- Type-Separated Bytecode - Its Construction and Evaluation.- Runtime Verification of Safety-Progress Properties.- Monitor Circuits for LTL with Bounded and Unbounded Future.- State Joining and Splitting for the Symbolic Execution of Binaries.- The LIME Interface Specification Language and Runtime Monitoring Tool.- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.- Runtime Verification of C Memory Safety.- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.- Hardware Supported Flexible Monitoring: Early Results.- DMaC: Distributed Monitoring and Checking.
Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- Type-Separated Bytecode - Its Construction and Evaluation.- Runtime Verification of Safety-Progress Properties.- Monitor Circuits for LTL with Bounded and Unbounded Future.- State Joining and Splitting for the Symbolic Execution of Binaries.- The LIME Interface Specification Language and Runtime Monitoring Tool.- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.- Runtime Verification of C Memory Safety.- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.- Hardware Supported Flexible Monitoring: Early Results.- DMaC: Distributed Monitoring and Checking.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
