Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- X. Blanc, M.‑P. Gervais, R. Le‑Delliou : “Using the UML Language to Express the ODP Enterprise Concepts”, [Blanc 1999b]
- J.‑F. Dauchez, M.‑P. Gervais : “Specifying and verifying the behavior of telecommunications services”, [Dauchez 1999]
- S. Haddad, D. Poitrenaud : “Decidability and Undecidability Results for Recursive Petri Nets”, [Haddad 1999a]
- L. Seinturier, L. Duchien : “Observation of Distributed Computations: a Reflective Approach for CORBA”, [Seinturier 1999c]