UN LANGAGE D'AIDE A LA CONCEPTION ET A LA SIMULATION DE SYSTEMES COMPLEXES.MOALLA M; SIFAKIS J; ZACHARIADES M et al.1975; USM-INPG-MATH. APPL. INF.-RR-16; FR.; DA. 1975; PP. 1-27; BIBL. 1 P. 1/2Report

MAS: UN OUTIL D'AIDE A LA DESCRIPTION ET A LA CONCEPTION DES AUTOMATISMES LOGIQUES.MOALLA M; SIFAKIS J; ZACHARIADES M et al.1976; IN: AUTOM. LOGIQUES. RECH. APPL. IND. COLLOQ.; PARIS; 1976; PARIS; ASSOC. FR. CYBERN. ECON. TECH.; DA. 1976; PP. 21-38; BIBL. 7 REF.Conference Paper

A DESIGN TOOL FOR THE MULTILEVEL DESCRIPTION AND SIMULATION OF SYSTEMS OF INTERCONNECTED MODULES.MOALLA M; SAUCIER G; SIFAKIS J et al.1976; IN: ANNU. SYMP. COMPUT. ARCHIT. 3; CLEAWATER, FLA.; 1976; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1976; PP. 20-27; BIBL. 28 REF.Conference Paper