Login / Signup

UML activity diagram to event-B: A model transformation approach based on the institution theory.

Amine AchouriLeila Jemni Ben Ayed
Published in: IRI (2014)
Keyphrases