BibTeX-Eintrag mohammad2011a

Aus SDQ-Wiki
Breite=170px

BibTeX-Eintrag für "A formal approach for the specification and verification of trustworthy component-based systems"

@article{mohammad2011a,
title = "A formal approach for the specification and verification of trustworthy component-based systems",
journal = "Journal of Systems and Software",
volume = "84",
number = "1",
pages = "77 - 104",
year = "2011",
note = "Information Networking and Software Services",
issn = "0164-1212",
doi = "DOI: 10.1016/j.jss.2010.08.048",
url = "http://www.sciencedirect.com/science/article/B6V0N-50X3TR3-2/2/a8e80344857914ddfaa7e13676cb4c11",
author = "Mubarak Mohammad and Vangalur Alagar",
keywords = "Component-based development",
keywords = "Component model",
keywords = "Trustworthiness",
keywords = "Formal verification"
}