A Java-based Formal Development Environment for Factory Communication Systems | IRIS Pol. Torino Attenzione: i dati modificati non sono ancora stati salvati. Per confermare inserimenti o cancellazioni di voci è necessario confermare con il tasto SALVA/INSERISCI in fondo alla pagina
A Java-based Formal Development Environment for Factory Communication Systems
A Java-based Formal Development Environment for Factory Communication Systems / Demartini, Claudio Giovanni; R., Iosif; Sisto, Riccardo. - (1998), pp. 273-281. ((Intervento presentato al convegno IEEE Int. Conf. on Application of Concurrency to System Design.
Titolo: A Java-based Formal Development Environment for Factory Communication Systems
DEMARTINI, CLAUDIO GIOVANNI
R. IOSIF
http://hdl.handle.net/11583/1410898