Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-by-Construction Embedded Software

Hohmann, Wolfram

by Wolfram Hohmann

Reference:

Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-by-Construction Embedded Software (Wolfram Hohmann), In Proc. of SAE World Congress 2004, 2004.

Bibtex Entry:

@InProceedings{Hohmann2004,
AUTHOR = {Hohmann, Wolfram},
TITLE = {{Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-by-Construction Embedded Software}},
YEAR = {2004},
BOOKTITLE = {Proc. of SAE World Congress 2004},
URL = {http://www.esterel-technologies.com/v3/?id=50399&amp;dwnID=72},
PDF = {uploads/pdf/SAE Paper 2004-01-1768 - Supporting Model-Based Development.pdf},
ANNOTE = {KEYWORD : SFB614-B1},
KEYWORDS = {esterel}
}