Non-interference temporisée avec observation partielle et mémoire bornée
Résumé
Non-interference temporisée avec observation partielle et mémoire bornée
Domaines
Physique [physics]
Origine : Fichiers produits par l'(les) auteur(s)