Résultats de la recherche - Baier, Christel
Christel Baier
Christel Baier (née le à Karlsruhe) est une informaticienne allemande qui travaille sur la Vérification de modèles, la logique temporelle. Elle enseigne à la TU Dresden. Elle est éditrice en chef d'''Acta Informatica''. Informations fournies par Wikipedia-
1
Principles of model checking
Publié 2008An electronic book accessible through the World Wide Web; click to view
Électronique eBook -
2
Principles of model checking
Publié 2008An electronic book accessible through the World Wide Web; click to view
Électronique eBook