Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications Thereof

Home > Research > Publications & Outputs > Formal Specification of Non-functional Properti...

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

<mark>Journal publication date</mark>	04/2009
<mark>Journal</mark>	Software and Systems Modeling
Volume	9
Number of pages	41
Pages (from-to)	161-201
Publication Status	Published
<mark>Original language</mark>	English

Research