Date04

M. Mousavi, P. Le Guernic, J.P. Talpin, S. Shukla, T. Basten. Modeling and validation of asynchronous systems in synchronous frameworks. In Design Analysis and Test Europe, 2004.

Contact

Mohammad Mousavi
Jean-Pierre Talpin

Référence BibTex

@InProceedings{Date04,
   Author = {Mousavi, M. and Le Guernic, P. and Talpin, J.P. and Shukla, S. and Basten, T.},
   Title = {Modeling and validation of asynchronous systems in synchronous frameworks},
   BookTitle = {Design Analysis and Test Europe},
   Publisher = {IEEE Press},
   Year = {2004}
}

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.