A. Gamatié, E. Rutten, H. Yu, P. Boulet, J.-L. Dekeyser. Modeling and Formal Validation of High-Performance Embedded Systems. In 7th International Symposium on Parallel and Distributed Computing, ISPDC '08, July 2008.
Eric Rutten http://pop-art.inrialpes.fr/people/rutten/
@InProceedings{ispdc08,
Author = {Gamatié, A. and Rutten, E. and Yu, H. and Boulet, P. and Dekeyser, J.-L.},
Title = {Modeling and Formal Validation of High-Performance Embedded Systems},
BookTitle = {7th International Symposium on Parallel and Distributed Computing, ISPDC '08},
Month = {July},
Year = {2008}
}
Get EndNote Reference (.ref)