P. Bostrm, L. Morel, M. Walden. Stepwise development of Simulink models using the refinement calculus framework. In International Colloquium on Theoretical Aspects of Computing, 2007.
@InProceedings{ictac07,
Author = {Bostrm, P. and Morel, L. and Walden, M.},
Title = {Stepwise development of Simulink models using the refinement calculus framework},
BookTitle = {International Colloquium on Theoretical Aspects of Computing},
Publisher = {Springer Verlag},
Year = {2007}
}
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.