Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

2 Results
Structure: Internal structure identifier : 1146733

Downscaling of future national capacity scenarios of the French electricity system to the regional level

Olfa Tlili , Christine Mansilla , Martin Robinius , David Severin Ryberg , Dilara Gülcin Caglayan , et al.
Energy Systems, 2022, 13 (1), pp.137-165. ⟨10.1007/s12667-020-00406-8⟩
Journal articles cea-03994700v1
Image document

Equivalence of denotational and operational semantics for interaction languages

Erwan Mahe , Christophe Gaston , Pascale Le Gall
Lecture Notes in Computer Science, 2022, Theoretical Aspects of Software Engineering, 13299, pp.113-130. ⟨10.1007/978-3-031-10363-6_8⟩
Journal articles cea-04060492v1