Lightweight and static verification of uml executable models

Tesis doctoral de Elena Planas Hortal Executable models play a key role in many development methods (such as mdd and […]

, , , , ,