H. Yu, A. Gamatié, E. Rutten, J.-L. Dekeyser. Safe Design of High-Performance Embedded Systems in a MDE Framework. In 1th IEEE International workshop UML and Formal Methods, UML&FM'08, 2008.
Special issue of the ISSE NASA journal Innovations in Systems and Software Engineering
Eric Rutten http://pop-art.inrialpes.fr/people/rutten/
@InProceedings{uml-fm08,
Author = {Yu, H. and Gamatié, A. and Rutten, E. and Dekeyser, J.-L.},
Title = {Safe Design of High-Performance Embedded Systems in a MDE Framework},
BookTitle = {1th IEEE International workshop UML and Formal Methods, UML&FM'08},
Year = {2008}
}
Get EndNote Reference (.ref)