Model Checking Statistique pour les Systèmes Larges

Auteur : Diana ElRabih
Editeur : Editions Universitaires Européennes
Parution : Janvier 2022
156 pages
ISBN : 978-6-2034-3294-7
68,90 €