Nhóm nghiên cứu hiện hành : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Đội cũ : | ACASA |
Bài báo khoa học MoVe | 2023 | 2024 | Total |
---|---|---|---|
Sách | 0 | 0 | 0 |
Soạn thảo sách | 0 | 0 | 0 |
Bài báo khoa học | 2 | 0 | 2 |
Chương sách | 0 | 0 | 0 |
Bài hội thảo khoa học | 7 | 1 | 8 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- A. Brygoo, T. Durand, M. Pelletier, Ch. Queinnec, M. Soria : “Programmation Récursive (en Scheme)”, (Dunod), (ISBN: 978-2-10-007479-2) [Brygoo 2004]
- M.‑P. Gervais, V. Vèque : “Nouveaux protocoles pour l'internet”, vol. 23 (5-6), Technique et science informatiques [Gervais 2004]
- F. Kordon, M. Lemoine : “Formal Methods for Embedded Distributed Systems : How to Master the Complexity ?”, (Kluwer Academic Publishing) [Kordon 2004b]