Jump to : Note | Contact | BibTex reference | EndNote reference |

uml-fm08

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.

Note on this paper

Special issue of the ISSE NASA journal Innovations in Systems and Software Engineering

Contact

Eric Rutten http://pop-art.inrialpes.fr/people/rutten/

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)