TY  - RPRT
TI  - GenoM3 Templates: from Middleware Independence to Formal Models Synthesis
AU  - Mohammed Foughali
AU  - Félix Ingrand
AU  - Anthony Mallet
PY  - 2018
UR  - https://arxiv.org/abs/1807.10154
ID  - 1807.10154
ER  -