Formal techniques for the development of process-control systems in the area of manufacturing processes: abstraction, specification, synthesis and optimisation
Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers : abstraction, spécification, synthèse et optimisation