Contributions de Serwe
Aller à la navigation
Aller à la recherche
11 mars 2019
- 08:3211 mars 2019 à 08:32 diff hist +1 m Synthèse des prospectives 2019 →Confidentiality actuelle
- 08:3111 mars 2019 à 08:31 diff hist +23 Synthèse des prospectives 2019 →Concepts, languages and tools for modelling and verifying complex systems
- 07:4711 mars 2019 à 07:47 diff hist +267 Synthèse des prospectives 2019 →Research themes
- 07:4211 mars 2019 à 07:42 diff hist +71 Synthèse des prospectives 2019 →Certified construction of systems
- 07:3711 mars 2019 à 07:37 diff hist +70 Synthèse des prospectives 2019 →Certified construction of systems
- 07:3511 mars 2019 à 07:35 diff hist +82 Synthèse des prospectives 2019 →Certified construction of systems
- 07:3511 mars 2019 à 07:35 diff hist +131 Synthèse des prospectives 2019 →Introduction
4 mars 2019
- 09:104 mars 2019 à 09:10 diff hist +46 Synthèse des prospectives 2019 →Introduction
- 09:084 mars 2019 à 09:08 diff hist +36 Synthèse des prospectives 2019 →Concepts, languages and tools for modelling and verifying complex systems
- 09:074 mars 2019 à 09:07 diff hist +53 Synthèse des prospectives 2019 →Concepts, languages and tools for modelling and verifying complex systems
- 09:074 mars 2019 à 09:07 diff hist +41 Synthèse des prospectives 2019 →Certified construction of systems
- 09:064 mars 2019 à 09:06 diff hist +87 Synthèse des prospectives 2019 →Certified construction of systems
- 08:404 mars 2019 à 08:40 diff hist +64 Synthèse des prospectives 2019 →Concepts, languages and tools for modelling and verifying complex systems
- 08:384 mars 2019 à 08:38 diff hist +110 Synthèse des prospectives 2019 →System (software, hardware and cyber-physical) safety
- 08:344 mars 2019 à 08:34 diff hist 0 Synthèse des prospectives 2019 →Societal challenges
12 février 2019
- 08:0412 février 2019 à 08:04 diff hist 0 Synthèse des prospectives 2019 →System safety (software, hardware and cyber-physical)
- 08:0212 février 2019 à 08:02 diff hist +13 m Synthèse des prospectives 2019 →Problems to solve
- 08:0212 février 2019 à 08:02 diff hist −4 Synthèse des prospectives 2019 Aucun résumé des modifications