2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design > 159 - 162
Source
Abstract
Identifiers
book ISBN : | 978-1-4244-2417-7 |
DOI | 10.1109/MEMCOD.2008.4547705 |
book ISBN : | 978-1-4244-2417-7 |
DOI | 10.1109/MEMCOD.2008.4547705 |