Refinement and verification in component-based model-driven design

Zhenbang Chen, Zhiming Liu, Anders Peter Ravn, Volker Stolz, Naijun Zhan

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

40 Citationer (Scopus)

Abstrakt

Udgivelsesdato: 1 February 2009
OriginalsprogEngelsk
TidsskriftScience of Computer Programming
Vol/bind74
Udgave nummer4
Sider (fra-til)168-196
Antal sider29
ISSN0167-6423
DOI
StatusUdgivet - 2009

Fingeraftryk Dyk ned i forskningsemnerne om 'Refinement and verification in component-based model-driven design'. Sammen danner de et unikt fingeraftryk.

Citationsformater