Ma:2010

Yue Ma, Jean-Pierre Talpin, Thierry Gautier. Interpretation of AADL Behavior Annex into Synchronous Formalism using SSA. In Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology, Pages 2361-2366, 2010.

Contact

Yue Ma
Jean-Pierre Talpin
Thierry Gautier

Référence BibTex

@InProceedings{Ma:2010,
   Author = {Ma, Yue and Talpin, Jean-Pierre and Gautier, Thierry},
   Title = {Interpretation of AADL Behavior Annex into Synchronous Formalism using SSA},
   BookTitle = {Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology},
   Pages = {2361--2366},
   Publisher = {IEEE Computer Society},
   Year = {2010}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.