Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach

Vitus S W Lam, Julian Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004)
Pages337--347
Number of pages11
Publication statusPublished - May 2004
Event11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004) -
Duration: 1 May 2004 → …

Conference

Conference11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004)
Period1/05/04 → …

Cite this