Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach
Lam, V. S. W. and Padget, J., 2004. Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004-05-01.
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Lam, V. S. W.and Padget, J.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)