Sign in

Verifiable architectural interface for supporting model-driven development with adequate abstraction level.

Naoyasu UbayashiYasutaka Kamei
Published in: MiSE (2012)
Keyphrases