Runtime Verification, 2014 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings Programming and Software Engineering Series
Coordonnateurs : Bonakdarpour Borzoo, Smolka Scott A.
Date de parution : 09-2014
Ouvrage de 358 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes de Runtime Verification :
Mots-clés :
concurrency; constraint solving; data structures; debugging; distributed systems; dynamic verification; embedded systems; fault detection and recovery; formal software verification; machine learning; multicore; privacy; scheduling; security; symbolic execution; trace slicing; visualization; algorithm analysis and problem complexity