Runtime Verification

Szerző: Yli?s Falcone, César Sánchez

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 373 Ft

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verif...

Információk a könyvről

Szerző

Yli?s Falcone, César Sánchez

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2016

oldal

512

EAN

9783319469812

ISBN

3319469819

Enbook ID

14133166

Kiadó

Springer International Publishing AG

Súly

8015

Méretek

155 x 235 x 31

Teljes leírás

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Runtime Verification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták