Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés. (Synchronized component-based systems : contributions to the compositional verification of refinement and properties).
A. Lanoix. University of Franche-Comté, Besançon, France, (2005)
%0 Thesis
%1 phd/hal/Lanoix05
%A Lanoix, Arnaud
%D 2005
%K dblp
%T Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés. (Synchronized component-based systems : contributions to the compositional verification of refinement and properties).
@phdthesis{phd/hal/Lanoix05,
added-at = {2020-07-21T00:00:00.000+0200},
author = {Lanoix, Arnaud},
biburl = {https://www.bibsonomy.org/bibtex/2e3f5e68e9d3f18b068ba9ac8b2ed9ee2/dblp},
ee = {https://tel.archives-ouvertes.fr/tel-00011649},
interhash = {ffa428ae3d8e5bd54dddc61c690903f1},
intrahash = {e3f5e68e9d3f18b068ba9ac8b2ed9ee2},
keywords = {dblp},
school = {University of Franche-Comté, Besançon, France},
timestamp = {2020-07-24T00:51:19.000+0200},
title = {Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés. (Synchronized component-based systems : contributions to the compositional verification of refinement and properties).},
year = 2005
}