Bruno d' Ausbourg
IdRefMots clés
FR |
EN
Interfaces (informatique)
LUSTRE (langage de programmation)
Temps réel (informatique)
Abstraction
Logiciels -- Vérification
Système réparti
Système exploitation
Système unix
Sécurité
Sécurité multiniveau
Mach
Micro noyau
Protection de l'information (informatique)
Traitement réparti
Ordinateurs -- Fiabilité
Conception
Modélisation
Vérification
Model-checking probabiliste
Algèbre stochastique PEPA