314 followers
A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics http://t.co/xkY1GO44BA
A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics http://t.co/xkY1GO44BA