Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2004
Eshuis, H. and Wieringa, R.J.
(2004)
Tool support for verifying UML activity diagrams.
IEEE Transactions on Software Engineering, 30 (7).
pp. 437-447.
ISSN 0098-5589
*** ISI Impact 2,216 ***
2001
Eshuis, H. and Wieringa, R.J.
(2001)
An Execution Algorithm for UML Activity Graphs.
In: The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, 1-5 Oct 2001, Toronto, Canada.
pp. 47-61.
Lecture Notes in Computer Science 2185.
Springer.
ISSN 0302-9743
ISBN 3540426671
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||