Émilie THOMÉ
2
Documents
Publications
Publications
|
|
GRust: Bridging Modeling and Rust Development for Software-Defined Vehicles13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.51⟩
Communication dans un congrès
hal-05513956
v1
|
GRust: A Programming Language for Automotive EngineeringFormal Methods for Industrial Critical Systems (FMICS), Aug 2025, Aarhus, Denmark. pp.127-143, ⟨10.1007/978-3-032-00942-5_7⟩
Communication dans un congrès
hal-05447919
v1
|
Chargement...
Chargement...