Sur la théorie et l'application des automates paramétrés temporisés avec mises à jour

Autor:	RAMPARISON, Mathias
Přispěvatelé:	Etienne André, Didier Lime, Laure Petrucci [Président], Patricia Bouyer-Decitre [Rapporteur], Jaco Van de Pol [Rapporteur], Béatrice Bérard, Frédéric Herbreteau, Christophe Fouqueré
Jazyk:	angličtina
Předmět:	Arbres d'attaque et de défaillance Synthèse de paramètre
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______9631::fa0db15538ce05e3dc8ce5846995e05c http://hdl.handle.net/20.500.12278/36337 Zobrazit plný text záznamu