Publication Records

ŠAFRÁNEK, David and Jiří ŠIMŠA. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. In SOFSEM 2005: Theory and Practice of Computer Science. Heidelberg: Springer, 2005, p. 320-330, 10 pp. ISBN 3-540-24302-X.

ŠAFRÁNEK, David. Visual Specification of Concurrent Systems. In 18th IEEE International Conference on Automated Software Engineering. Montreal, Quebec, Canada: IEEE Computer Society, 2003, p. 369-372. ISBN 0-7695-2035-9.