LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Nghiên cứu » Bài báo khoa học » Chương sách
Sách
Soạn thảo sách
Bài báo khoa học
Chương sách
Bài hội thảo khoa học
Các bài báo va hội thảo khác
Luận án tiến sĩ khoa học
Luận án tiến sĩ
Nhóm nghiên cứu hiện hành : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Các nhóm nghiên cứu trước đây : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Các đề tài nghiên cứu trước đây : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
LIP6
  • J.‑M. Couvreur, D. Poitrenaud : “Dépliages pour la vérification de propriétés temporelles”, chapitre de Vérification et mise en oeuvre des réseaux de Petri, M. Diaz (Ed.), pp. 127-162, (Hermes Science Publications), (ISBN: 2-7462-0445-2) [Couvreur 2003]
  • C. Dutheillet, J.‑M. Ilié, D. Poitrenaud, I. Vernier‑Mounier : “State-Space-Based Methods and Model Checking”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, C. Girault, R. Valk (Eds.), pp. 201-275, (Springer-Verlag), (ISBN: 3-540-41217-4) [Dutheillet 2003]
  • M.‑P. Gervais, A. Diagne : “Telecommunications Systems”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, R. Valk, C. Girault (Eds.), pp. 541-566, (Springer-Verlag), (ISBN: 3-540-41217-4) [Gervais 2003c]
  • Z. Guessoum, J.‑P. Briot, O. Marin, A. Hamel, P. Sens : “Dynamic and Adaptive Replication for Large-Scale Reliable Multi-Agent Systems”, chapter in Software Engineering for Large-Scale Multi-Agent Systems, vol. 2603, Lecture Notes in Computer Science, A. Garcia, C. Lucena, F. Zambonelli, A. Omicini, J. Castro (Eds.), pp. 182-198, (Springer), (ISBN: 978-3-540-08772-4) [Guessoum 2003b]
  • S. Haddad, J.‑M. Ilié : “Symétries et logique temporelle”, chapitre de Vérification et mise en oeuvre des réseaux de Petri, Traité IC2, série Informatique et Systèmes d'Information, M. Diaz (Ed.), (Hermes Science Publication), (ISBN: 2-7462-0445-2) [Haddad 2003]
  • F. Kordon, W. El‑Kaïm : “Code Generation”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, C. Girault, R. Valk (Eds.), pp. 433-469, (Springer-Verlag), (ISBN: 3-540-41217-4) [Kordon 2003b]
  • G. Thomas, I. Piumarta, A. Galland, B. Folliot, C. Baillarguet : “Towards Active Applications: the Virtual Virtual Machine Approach”, chapter in New Trends in Computer Science and Engineering, M. Craus, D. Gâlea, A. Valachi (Eds.), pp. 28-47, (A92 Publishing House, POLIROM Press), (ISBN: 973-9476-40-6) [Thomas 2003b]
  • I. Vernier, E. Paviot‑Adet : “Modélisation et vérification de l'interopérabilité de services de télécommunication”, chapitre de Vérification et mise en oeuvre de réseaux de Petri, M. Diaz (Ed.), pp. 233-252, (Hermes Science), (ISBN: 2-7462-0445-2) [Vernier 2003]
 Mentions légales
Sơ đồ site |