RACME: a framework to support V&V and certification
Research Area: | Uncategorized | Year: | 2011 | ||
---|---|---|---|---|---|
Type of Publication: | In Proceedings | ||||
Authors: | Andrea Ceccarelli; Lorenzo Vinerbi; Lorenzo Falai; Andrea Bondavalli | ||||
Book title: | IEEE LADC 2011 | ||||
BibTex: |
|||||
Note: | In Press |
||||