The IF Toolset.

Marius Bozga Susanne Graf Ileana Ober Iulian Ober Joseph Sifakis

Published in: SFM (2004)

Keyphrases

development process
model driven engineering
metadata
neural network
information retrieval
cooperative
software engineering