Résumer les traces d'exécution des micro-contrôleurs

Autor:	Amiar, Azzeddine, Delahaye, Mickaël, Falcone, Yliès, Du Bousquet, Lydie
Přispěvatelé:	Validation de Systèmes, Composants et Objets logiciels (VASCO), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)
Jazyk:	angličtina
Rok vydání:	2012
Předmět:	[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ComputingMilieux_MISCELLANEOUS
Zdroj:	Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012) Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
Popis:	International audience; no abstract
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6677c55428a70bdc8b6e63196cc37d58 https://hal.inria.fr/hal-00953276 Zobrazit plný text záznamu