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

46 Citationer (Scopus)

Fingeraftryk

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

Computer Science