Výpis publikací

ŠAFRÁNEK, David a 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, s. 320-330, 10 s. 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, s. 369-372. ISBN 0-7695-2035-9.