Application du calcul SCCS de Milner à la spécification de processus informationnels par types abstraits algébriques dans une entreprise manufacturière

Nom de la conférence: 
RTS'93
Année: 
1 993
Lieu de la conférence: 
Paris, France
Langue: 
Français