现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
刊物 MoVe | 2023 | 2024 | Total |
---|---|---|---|
书籍 | 0 | 0 | 0 |
参考书目 | 0 | 0 | 0 |
刊物文章 | 2 | 0 | 2 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 7 | 1 | 8 |
特许任教资格 | 0 | 0 | 0 |
博士论文 | 2 | 1 | 3 |
- Y. Ben Maïssa, F. Kordon, S. Mouline, Y. Thierry‑Mieg : “Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. VIII, pp. 24-47, (Springer) [Ben Maïssa 2013]
- B. Bérard, F. Cassez, S. Haddad, D. Lime, O. Roux : “The Expressive Power of Time Petri Nets”, Theoretical Computer Science, vol. 474, pp. 1-20, (Elsevier) [Bérard 2013b]
- J.‑M. Couvreur, D. Poitrenaud, P. Weil : “Branching processes of general Petri nets”, Fundamenta Informaticae, vol. 122 (1-2), pp. 31-58, (IOS Press) [Couvreur 2013]
- P. Gastin, N. Sznajder : “Fair Synthesis for Asynchronous Distributed Systems”, ACM Transactions on Computational Logic, vol. 14 (2), pp. 9, (Association for Computing Machinery) [Gastin 2013]