Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser. Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems. Scalable Computing: Practice and Experience, 10(2), 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.