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

Research output: Contribution to journalArticlepeer-review

25 Citations (Scopus)
Original languageEnglish
Pages (from-to)161 - 201
Number of pages41
JournalSoftware and Systems Modelling
Volume9
Issue number2
DOIs
Publication statusPublished - 2009

Cite this