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