Login / Signup
Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation.
Meixia Zhu
Hanpin Wang
Xikui Liu
Xiaoqiong Han
Published in:
Int. J. Softw. Informatics (2012)
Keyphrases
</>
formal analysis
high level
model checking
agent model
metamodel