Model Based Analysis and Formal Verification of WEDA Architectural Style

No ratings

Presented at ICIA 2013 by

Jitka Hübnerová

N/A