Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- I. Bakam, F. Kordon, Ch. Le Page, F. Bousquet : “Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System”, [Bakam 2000c]
- X. Blanc, M.‑P. Gervais, J. Le Delliou : “A Comparison of the Basic DO concepts in Standardization”, [Blanc 2000b]
- D. Buchs, M. Buffo, F. Kordon : “Object-Oriented Modeling and Analysis Capabilities”, [Buchs 2000]
- M.‑P. Gervais : “ODAC : une méthodologie de construction de systèmes à base d'agents fondée sur ODP”, [Gervais 2000]
- S. Haddad, D. Poitrenaud : “A model checking decision procedure for sequential recursive Petri nets”, [Haddad 2000a]