An inverse method for the synthesis of timing parameters in concurrent systems. (Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents).
É. André. École normale supérieure de Cachan, France, (2010)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Andre10
%A André, Étienne
%D 2010
%K
%T An inverse method for the synthesis of timing parameters in concurrent systems. (Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents).
@phdthesis{phd/hal/Andre10,
added-at = {2023-12-13T08:55:44.000+0100},
author = {André, Étienne},
biburl = {https://www.bibsonomy.org/bibtex/286b3dd7c062b699b5991377cc89de0c6/admin},
ee = {https://tel.archives-ouvertes.fr/tel-00595268},
interhash = {c918c2bdb83c2188c07533956a80136b},
intrahash = {86b3dd7c062b699b5991377cc89de0c6},
keywords = {},
school = {École normale supérieure de Cachan, France},
timestamp = {2023-12-13T08:55:44.000+0100},
title = {An inverse method for the synthesis of timing parameters in concurrent systems. (Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents).},
year = 2010
}