Etienne Borde. Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. (Raffinements de Modèles d'Architectures pour le Développement Logiciel des Systèmes Temps-réels Embarqués Critiques). 2019. [doi]
@book{Borde19, title = {Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. (Raffinements de Modèles d'Architectures pour le Développement Logiciel des Systèmes Temps-réels Embarqués Critiques)}, author = {Etienne Borde}, year = {2019}, url = {https://tel.archives-ouvertes.fr/tel-04339297}, researchr = {https://researchr.org/publication/Borde19}, cites = {0}, citedby = {0}, }