%0 Conference Proceedings
%F ispdc08
%A Gamatié, A.
%A Rutten, E.
%A Yu, H.
%A Boulet, P.
%A Dekeyser, J.-L.
%T Modeling and Formal Validation of High-Performance Embedded Systems
%B 7th International Symposium on Parallel and Distributed Computing, ISPDC '08
%8 July
%D 2008