LIP6 CNRS Sorbonne Université
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
إصدارات MoVe201620172018201920202021Total
كتـب1000124
إصدار كـتب23230111
مـنشـورات في مـجلات108558238
فصـول في كـتب1112005
منشورات1722181712187
تراخيص2101004
مـذكرات3003107
LIP6
  • F. Kordon, M. Leuschel, J. Van De Pol, Y. Thierry‑Mieg : “Software Architecture of Modern Model Checkers”, chapter in Computing and Software Science, State of the Art and Perspectives, vol. 10000, Lecture Notes in Computer Science, pp. 393-419, (Springer) [Kordon 2019]
  • M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) [Potop-Butucaru 2019]
 Mentions légales
| خـريـطـة المـوقـع