Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Graphes de fluence"'
Autor:
Bouakaz, Adnan
Les systèmes temps-réel critiques sont de plus en plus complexes, et les exigences fonctionnelles et non-fonctionnelles ne cessent plus de croître. Le flot de conception de tels systèmes doit assurer, parmi d’autres propriétés, le déterminis
Externí odkaz:
http://www.theses.fr/2013REN1S103/document
Autor:
Bouakaz, Adnan
Publikováno v:
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S103⟩
Other [cs.OH]. Université de Rennes, 2013. English. ⟨NNT : 2013REN1S103⟩
Other [cs.OH]. Université de Rennes, 2013. English. ⟨NNT : 2013REN1S103⟩
The ever-increasing functional and nonfunctional requirements in real-time safety-critical embedded systems call for new design flows that solve the specification, validation, and synthesis problems. Ensuring key properties, such as functional determ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a4636804d43ffb9e8106c4c08db0a3cb
https://theses.hal.science/tel-00945453
https://theses.hal.science/tel-00945453