Accès aux Contact | Référence BibTex | Référence EndNote |

ictac07

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.

Contact

Lionel Morel

Référence BibTex

@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}
}

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.