Thèse de doctorat en Sciences appliquées
Sous la direction de François Bouillé.
Soutenue en 1988
à Paris 6 .
Modélisation générale des systèmes d'exploitation en utilisant la méthode HBDS (hypergraph based data structure) basée sur les types abstraits de données et s'appuyant sur une représentation graphique rigoureuse. Les concepts HBDS permettent la représentation des structures des données du système, alors que le fonctionnement de son noyau est simulé par des algorithmes écrits en exel.
Operating systems modeling with hbds
Pas de résumé disponible.