Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Courtiat, J.-P., Santos, C.A.S., Lohr, C., Outtaj, B.
Published in Computer communications (01.07.2000)
Published in Computer communications (01.07.2000)
Get full text
Journal Article
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems
Courtiat, J.-P., Diaz, M., De Oliveira, R.C., Sénac, P.
Published in Computer communications (01.12.1996)
Published in Computer communications (01.12.1996)
Get full text
Journal Article
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
Courtiat, Jean-Pierre, Dembinski, Piotr, Holzmann, Gerard J., Logrippo, Luigi, Rudin, Harry, Zave, Pamela
Published in Computer networks and ISDN systems (01.10.1996)
Published in Computer networks and ISDN systems (01.10.1996)
Get full text
Journal Article
The RT-LOTOS formal specification of the conditional delivery mechanism
Courtiat, Jean-Pierre, de Oliveira, Roberto C., Rust da Costa Carmo, Luiz F.
Published in Information systems (Oxford) (01.09.1995)
Published in Information systems (Oxford) (01.09.1995)
Get full text
Journal Article
Formal models for the description of time behaviors of multimedia and hypermedia distributed systems
Courtiat, J-P, Diaz, M, De Oliveira, R C, Senac, P
Published in Computer communications (01.01.1996)
Get full text
Published in Computer communications (01.01.1996)
Journal Article
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