Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems

Jérôme Hugues, Oleg Sokolsky
2015 Science of Computer Programming  
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited version published in : Eprints ID : 14203 To link to this article:
doi:10.1016/j.scico.2015.05.002 fatcat:dhks2qgsorb5del35guravkgli