1 |
G. Holzmann, et al., 'Coverage preserving Reduction Strategies for Reachability Analysis,' Proc. of the PSTV, pp. 349-364, Jun. 1992
|
2 |
K. C. Tai, P. V. Koppol, 'An Incremental Approach to Reachability Analysis of Distributed programs,' Proc. of the 7th international workshop on software specification and design, pp. 141-150, Dec. 1993
|
3 |
Miles, http://www.fas.org/man/dod-101/sys/land/miles. htm
|
4 |
P. J. Denning, et al., Machines, Languages, and Computation, Prentice-Hall, 1978
|
5 |
W. J. Yeh, M. Young, 'Compositional Reachability Analysis using Process Algebra,' Proc. of ACM SIGSOFT, pp. 49-59, Oct. 1991
DOI
|
6 |
Enrique V. Kortright, 'Modeling and Simulation with UML and Java,' Proc. of 30th Annual Simulation Symposium, pp. 43-48, Apr. 1997
|
7 |
C. Ermel, K. Holscher, S. Kuske, and P. Ziemann, 'Animated simulation of integrated UML behavioral models based on graph transformation,' Proc. of IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 125-133, Sept. 2005
DOI
|
8 |
OMG, Unified Modeling Language : Superstructure, Version 2.2, http://www.omg.org, 2009
|
9 |
Alexander Egyed and Dave Wile, 'Statechart Simulator for Modeling Architectural Dynamics,' Proc. of the 2nd International Working Conference on Software Architecture (WICSA), Aug. 2001
DOI
|
10 |
Robin Milner, Communication and Concurrency, Prentice Hall, 1989
|
11 |
M. Marzolla, S. Balsamo, 'UML-PSI: the UML performance simulator,' Proc. of First International Conference on the Quantitative Evaluation of Systems, pp. 340-341, Sep. 2004.
DOI
|