Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
section 1 sur 1
résultats 1 à 1
Canal-u.fr
Theoretical Foundations for Runtime Monitoring  Droits d'accès : non autorisé
Description : Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime moni ...
Date : 10-09-2019
 Description complète
Theoretical Foundations for Runtime Monitoring
Accéder aux documents