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
刊物 MoVe201420152016201720182019Total
书籍0010001
参考书目22232112
刊物文章861084440
书籍章节1011014
会议文章262318231510115
特许任教资格0111014
博士论文3230019
LIP6
  • B. Bérard : “Modeling Time”, chapter in Models and Analysis in Distributed Systems n°4, S. Haddad, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 63-96, (Wiley), (ISBN: 9781848213142) [Bérard 2011]
  • J. Delange, L. Pautet, F. Kordon : “A Model-Based Approach To Configure and Reconfigure Avionics Systems”, chapter in Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, M. Khalgui, H.-M. Hanisch (Eds.), pp. 509-541, (IGI Global), (ISBN: 9781609600860) [Delange 2011]
  • S. Demri, D. Poitrenaud : “Verification of Infinite-State Systems”, chapter in Models and Analysis in Distributed Systems, S. Haddad, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 221-269, (Wiley), (ISBN: 9781848213142) [Demri 2011]
  • C. Dutheillet, I. Mounier, N. Sznajder : “Distributed Control”, chapter in Models and Analysis in Distributed Systems, S. Haddad, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 307-351, (Wiley), (ISBN: 9781848213142) [Dutheillet 2011]
  • S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “General introduction”, chapter in Distibuted Systems: Design and Algorithms, S. Haddad, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 13-17, (Wiley), (ISBN: 9781848212503) [Haddad 2011b]
  • S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “Introduction”, chapter in Models and Analysis in Distributed Systems, S. Haddad, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 17-20, (Wiley), (ISBN: 9781848213142) [Haddad 2011c]
  • F. Kordon : “Introduction to Large-Scale Peer-to-Peer Distributed Systems”, chapter in Distibuted Systems: Design and Algorithms n°2, S. Haddad, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 21-31, (Wiley), (ISBN: 9781848212503) [Kordon 2011]
  • J.‑F. Pradat‑Peyre, Y. Thierry‑Mieg : “Verification of Finite-State Systems”, chapter in Models and Analysis in Distributed Systems, S. Haddad, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 155-220, (Wiley), (ISBN: 9781848213142) [Pradat-Peyre 2011]
 Mentions légales
网站导航 |