Thèse de doctorat en Sciences
Sous la direction de Christian Durante.
Soutenue en 1987
à Montpellier 2 .
Presentation d'une methodologie de synthese interactive des systemes logiques complexes a partir d'un cahier des charges modelise par un ensemble de grafcets structures et hierarchises. Cette methodologie est independante de la technologie de fabrication et peut representer un systeme logique quelconque; implantee en langage lisp, elle s'articule autour d'une base de donnee dont le systeme de gestion est defini
A tool for the computer assisted design of logic complex systems
Pas de résumé disponible.