Inproceedings,
Towards Formalizing UML State Diagrams in CSP.
SEFM, page 138-. IEEE Computer Society, (2003)
Meta data
Tags
- ,
- 2003
- analysis;
- and,
- behaviour,
- checker;
- communicating,
- csp
- dblp
- decision,
- diagrams;
- formal,
- formalisation;
- language,
- language;
- languages;
- model,
- modelling,
- processes;
- programming,
- semantics
- semantics;
- sequential,
- specification,
- specification;
- state,
- statecharts
- structural,
- systems,
- uml
- unified,
- verification
- _hardcopy
- {uml},
