Vérifier le comportement du code d’un système embarqué à partir de son modèle

Autor:	Virginie Wiels, Thomas Polacsek, Stéphane Duprat, Anthony Fernandes Pires
Rok vydání:	2013
Předmět:	Control and Systems Engineering Electrical and Electronic Engineering Industrial and Manufacturing Engineering Computer Science Applications
Zdroj:	Journal Européen des Systèmes Automatisés. 47:61-75
ISSN:	1269-6935
DOI:	10.3166/jesa.47.61-75
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::885973c000f908b2b14614b88b59d059 https://doi.org/10.3166/jesa.47.61-75 Zobrazit plný text záznamu