Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 3 | 1 | 4 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 8 | 7 | 15 |
Habilitations | 0 | 0 | 0 |
Soutenance de Thèses | 2 | 1 | 3 |
- B. Bérard : “Model checking temporisé”, chapter in Approches formelles des systèmes embarqués communicants, Traités IC2 - Informatique et systèmes d'information, O. Roux, C. Jard (Eds.), pp. 75-103, (Hermes/Lavoisier), (ISBN: 978-2-7462-1942-7) [Bérard 2008a]
- F. Kordon : “Introduction aux systèmes répartis à large échelle”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, vol. 9, Traités IC2 - Informatique et systèmes d'information, pp. 189-200, (Hermes), (ISBN: 978-2-7462-1943-4) [Kordon 2008b]
- F. Kordon, L. Pautet, L. Petrucci : “Introduction générale”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, vol. 9, Traités IC2 - Informatique et systèmes d'information, pp. 15-19, (Hermès), (ISBN: 978-2-7462-1943-4) [Kordon 2008d]
- E. Saint‑James, G. Thomas : “Applications pair-à-pair de partage de données”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, Traités IC2 - Informatique et systèmes d'information, pp. 223-256, (Hermes), (ISBN: 9782746219434) [Saint-James 2008]