Zhibin Yang, Jean-Paul Bodeveix, Lei Pi, D. Ma, Jean-Pierre Talpin. Two formal semantics for a subset of the AADL. In UML&AADL workshop at the IEEE International Conference on Engineering of Complex Computer Systems, 2011.
@InProceedings{yang:2011,
Author = {Yang, Zhibin and Bodeveix, Jean-Paul and Pi, Lei and Ma, D. and Talpin, Jean-Pierre},
Title = {{Two formal semantics for a subset of the AADL}},
BookTitle = {{UML&AADL workshop at the IEEE International Conference on Engineering of Complex Computer Systems}},
Year = {2011}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.