Observer-a concept for formal on-line validation of distributed systems
Diaz, M., Juanole, G., Courtiat, J.-P.
Published in IEEE transactions on software engineering (01.12.1994)
Published in IEEE transactions on software engineering (01.12.1994)
Get full text
Journal Article
Loosely-Coupled Integration of CSCW Systems
Gomes, Roberta L., Rivera, Guillermo J. Hoyos, Courtiat, Jean Pierre
Published in Distributed Applications and Interoperable Systems (2005)
Published in Distributed Applications and Interoperable Systems (2005)
Get full text
Book Chapter
Conference Proceeding
Formal methods after 15 years : Status and trends. A paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, October 1995: ATM/NII
COURTIAT, J.-P, DEMBINSKI, P, HOLZMANN, G. J, LOGRIPPO, L, RUDIN, H, ZAVE, P
Published in Computer networks and ISDN systems (1996)
Get full text
Published in Computer networks and ISDN systems (1996)
Journal Article
Simulation and analysis of IP/ATM switching and routing
Santos, M.Z., Kiatake, L.G.G., Meylan, F., Kofuji, S.T., Courtiat, J.P.
Published in 1999 2nd International Conference on ATM. ICATM'99 (Cat. No.99EX284) (1999)
Published in 1999 2nd International Conference on ATM. ICATM'99 (Cat. No.99EX284) (1999)
Get full text
Conference Proceeding