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

fesca07

Lionel Morel, Louis Mandel. Executable Contracts for Incremental Prototypes of Embedded Systems. In Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007.

Contact

Lionel Morel

Référence BibTex

@InProceedings{fesca07,
   Author = {Morel, Lionel and Mandel, Louis},
   Title = {Executable Contracts for Incremental Prototypes of Embedded Systems},
   BookTitle = {Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures},
   Publisher = {Electronic Notes in Theoretical Computer Science, Elsevier},
   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.