equipos actuales : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Antiguos equipo : | ACASA |
Publicaciones MoVe | 2023 | 2024 | Total |
---|---|---|---|
Libros | 0 | 0 | 0 |
Libros editados | 0 | 0 | 0 |
Artículos de revistas | 3 | 1 | 4 |
Capítulos de libros | 0 | 0 | 0 |
Documentos de conferencias | 8 | 7 | 15 |
Habilitaciones | 0 | 0 | 0 |
Tesis | 2 | 1 | 3 |
- B. Bérard : “An Introduction to Timed Automata”, chapter in Control of Discrete-Event Systems, vol. 433, Lecture Notes in Control and Information Science, pp. 169-187, (Springer) [Bérard 2013a]
- B. Bérard, M. Cabasino, A. Febbraro, A. Giua, C. Seatzu : “Petri nets with time”, chapter in Control of Discrete-Event Systems, vol. 433, Lecture Notes in Control and Information Science, pp. 319-342, (Springer) [Bérard 2013e]
- F. Kordon, J. Hugues, A. Canals, A. Dohet : “Elements for the Design of Embedded Computer Systems”, chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pp. 3-27, (Wiley) [Kordon 2013b]
- F. Kordon, J. Hugues, A. Canals, A. Dohet : “Eléments pour la conception des systèmes embarqués”, chapitre de Modélisation et analyse de systèmes embarqués, pp. 21-44, (Hermes) [Kordon 2013c]
- F. Kordon, J. Hugues, A. Canals, A. Dohet : “Introduction”, chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pp. xix-xxii, (Wiley) [Kordon 2013e]
- F. Kordon, J. Hugues, A. Canals, A. Dohet : “Introduction générale”, chapitre de Modélisation et analyse de systèmes embarqués, pp. 15-18, (Hermes) [Kordon 2013f]