Modeling and Verification of Systems with Uncertainties
Modélisation et Vérification de systèmes incertains
Origine : Fichiers produits par l'(les) auteur(s)