Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Sofronis, Christos"'
Autor:
Sofronis, Christos
Le travail décrit dans cette thèse fait partie d'un effort de recherche au laboratoire VERIMAG pour créer une chaîne d'outils basée sur modèles (model-based) pour la conception et l'implantation des systèmes embarquées. Nous utilisons une app
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00329534
http://tel.archives-ouvertes.fr/docs/00/32/95/34/PDF/phd-sofronis.pdf
http://tel.archives-ouvertes.fr/docs/00/32/95/34/PDF/phd-sofronis.pdf
Autor:
Sofronis, Christos
Publikováno v:
Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier-Grenoble I, 2006. English
The work described in this thesis is done in the context of a long term effort at VERIMAG laboratory to build a complete model based tool-chain for the design and implementation of embedded systems. We follow a layered approach that distinguishes the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b91b89f603a137c212343f0111cda40
https://tel.archives-ouvertes.fr/tel-00329534/document
https://tel.archives-ouvertes.fr/tel-00329534/document
Autor:
Ferrante, Orlando, Passerone, Roberto, Ferrari, Alberto, Mangeruca, Leonardo, Sofronis, Christos
Publikováno v:
Proceedings of the 2014 IEEE Emerging Technology & Factory Automation (ETFA); 2014, p1-6, 6p
Autor:
Ferrante, Orlando, Benvenuti, Luca, Mangeruca, Leonardo, Sofronis, Christos, Ferrari, Alberto
Publikováno v:
Computer Safety, Reliability & Security (9783642336744); 2012, p409-416, 8p
Autor:
Benveniste, Albert, Caillaud, Benoȋt, Ferrari, Alberto, Mangeruca, Leonardo, Passerone, Roberto, Sofronis, Christos
Publikováno v:
Formal Methods for Components & Objects (9783540921875); 2008, p200-225, 26p
Publikováno v:
Proceedings of the 6th ACM & IEEE International Conference: Embedded Software; 10/22/2006, p21-33, 13p
Autor:
Caspi, Paul, Curic, Adrian, Maignan, Aude, Sofronis, Christos, Tripakis, Stavros, Niebert, Peter
Publikováno v:
Proceedings of the 2003 ACM SIGPLAN Conference: Language, Compiler & Tool for Embedded Systems; 6/11/2003, p153-162, 10p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM Transactions on Embedded Computing Systems; Nov2005, Vol. 4 Issue 4, p779-818, 40p
Publikováno v:
Formal Methods for Components & Objects (9783540921875); 2008, p1-1, 1p