Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers: 5779
Descubre las contribuciones clave sobre verificación dinámica en el noveno taller internacional, con artículos que exploran métodos avanzados para garantizar la fiabilidad y corrección de software crítico.