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.
Mohammad Mousavi
Jean-Pierre Talpin
@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}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.