Filter your results
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
4 Results
|
|
sorted by
|
|
Environmental assessment of projects involving AI methods2023
Preprints, Working Papers, ...
hal-03922093v1
|
||
|
Rigorous Component-Based System Design Using the BIP FrameworkIEEE Software, 2011, 28 (3), pp.41-48. ⟨10.1109/MS.2011.27⟩
Journal articles
hal-00722395v1
|
||
|
Introduction aux impacts environnementaux du numérique1024, bulletin de la Société Informatique de France, pp.85-97, 2019
Book sections
hal-02410129v1
|
||
|
Compositional Invariant Generation for Timed SystemsTools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Apr 2014, Grenoble, France. pp.263--278, ⟨10.1007/978-3-642-54862-8_18⟩
Conference papers
hal-01212296v1
|