LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Поиск » Публикации » Статьи
Книги
Издания книг
Статьи в журналах
Статьи
Статьи конференций
Другие публикации
Хабилитации
Диссертация
Подразделения : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Бывшие названия подразделений : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Архив исследовательских проектов : 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
Карта сайта |