![](/img/cover-not-exists.png)
[IEEE 2009 International Conference on Microelectronics - ICM - Marrakech, Morocco (2009.12.19-2009.12.22)] 2009 International Conference on Microelectronics - ICM - MoVES — A framework for modelling and verifying embedded systems
Brekling, Aske, Hansen, Michael R., Madsen, JanYear:
2009
Language:
english
DOI:
10.1109/icm.2009.5418667
File:
PDF, 475 KB
english, 2009