Recherche en cours
Par auteur
=
ACETO LUCA
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
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-1
sur 1
résultats
1 à 1
Canal-u.fr
Theoretical Foundations for Runtime Monitoring
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
Format
:
video/mp4
Auteur
:
Aceto Luca
Thème
:
Logique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
Afficher section
2
sur 1