Modeling and Managing System Evolution Description of EternalS Task Force 2
Submitted by UIB on Mon, 2011-01-10 10:53
| Title | Modeling and Managing System Evolution Description of EternalS Task Force 2 |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Hafner, M. |
| Secondary Authors | Margaria, T., and et al |
| Conference Name | Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, Isola 2010 |
| Date Published | 10/2010 |
| Conference Location | Heraklion, Greece |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
