An Extension of GDMO for Formalizing Managed Objects Behaviour.

Joaqun Keller

Browse the full FORTE paper archive.