Runtime Verification

Name: Runtime Verification
Brand: Springer, Berlin
SKU: 9783031442667
Price: 69.75 EUR
Availability: InStock

23rd International Conference, RV 2023, Thessaloniki, Greece, October 4-6, 2023, Proceedings

Autor: Panagiotis Katsaros, Laura Nenzi

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

69.75 €

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verif...

Informácie o knihe

Autor

Panagiotis Katsaros, Laura Nenzi

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2023

Stránok

504

EAN

9783031442667

Enbook ID

43913305

Vydavateľ

Springer, Berlin

Hmotnosť

698

Rozmery

155 x 235

Kompletný popis

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 4-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 4-6, 2023, Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Vodka

The Emperor of Gladness

Spell of Good Things

So Blue Marble

The Condo Book: How to Not Get Burned When Buying and Living in a Home Within a Community Association

Mangoes: Numbers 1 to 20. Bilingual Spanish-English: Mangos: Números 1 al 20. Bilingüe Espa?ol-Inglés

Lee Friedlander: Workers

Best of Michael Buble

Skylar Robbins: The Mystery of the Hidden Jewels

Journey in Bardo

Little Wizard 1 PB&CD-ROM Pack

Collected Poems

Norwich Plaque Guide

Neurophysiological Bases of Auditory Perception

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

El cura que costo un papado

Qu'est-Ce Que Le Creationnisme?

Občanské právo hmotné 3

Cabeciña a paxaros e outras historias

Severin

Hrabia Monte Christo. Tom 2

Erstellung eines Konzeptes zur Einführung eines Qualitätsmanagements für eine Steuerberatungsgesellschaft nach dem EFQM - Modell für Excellence