Peralta:2010

Julio C. Peralta, Thierry Gautier, Loic Besnard, Paul Le Guernic. LTSs for translation validation of (multi-clocked) Signal specifications. In Proceedings of the 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Pages 199-208, 2010.

Contact

Julio Peralta
Thierry Gautier
Loic Besnard

Référence BibTex

@InProceedings{Peralta:2010,
   Author = {Peralta, Julio C. and Gautier, Thierry and Besnard, Loic and Le Guernic, Paul},
   Title = {LTSs for translation validation of (multi-clocked) Signal specifications},
   BookTitle = {Proceedings of the 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)},
   Pages = {199--208},
   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.