1
Published 2013
Table of Contents: '; ... types and Python -- Runtime Verification with Particle Filtering -- An Optimized Memory Monitoring...
Get full text
Electronic
2
3
4
Published 2012
Table of Contents: '; ... / Daniel Bolanos -- 3. Runtime verification of distributed programs / Eslam Al Maghayreh -- 4...
Chapter PDFs via platform:
Electronic
5
6
7
Published 2013
Table of Contents: '; ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
Get full text
Electronic
8
9
Published 2013
Table of Contents: '; ... on Binary Images by Module Approach.-�Runtime Verification of Multi-agent Systems Interaction Quality...
Get full text
Electronic