|
СТ |
Parameterized Models for Distributed Java Objects |
2004 |
Barros T., Boulifa R., Madelaine E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
П |
Application de CEYX a la Construction de Programmes sous Forme de Machines Virtuelles |
1985 |
Devin M., Madelaine E., Ressouche A. |
|
|
INRIA |
|
01.05.2002 |
|
П |
Proving Process Calculi Translations in ECRINS: The PureLOTOS -> MEIJE Example |
1990 |
Doumenc G., Madelaine E., De Simone R. |
|
|
INRIA |
|
02.07.1998 |
|
СТ |
A Front-End Generator for Verification Tools |
1995 |
Cleaveland R., Madelaine E., Sims S. |
|
|
|
Lecture Notes in Computer Science |
11.01.1996 |
|
СТ |
Verification Tools from the CONCUR project |
1992 |
Madelaine E. |
|
|
|
EATCS Bull. |
19.08.1992 |
|
П |
Un systeme de verification de processus paralleles et communicants |
1987 |
Lecompte V., Madelaine E., Vergamini D. |
|
|
INRIA |
|
05.02.1991 |
