doc. RNDr. David Šafránek, Ph.D.

2003

• Visual Specification of Concurrent Systems

  ŠAFRÁNEK David

  Článek ve sborníku

  18th IEEE International Conference on Automated Software Engineering, rok: 2003

2002

• SGCCS: A Graphical Language for Real-Time Coordination

  ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures, rok: 2002

• SGCCS: A Graphical Language for Real-Time Systems

  ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings SOFSEM 2002 Student Research Forum, rok: 2002

• YAHODA: verification tools database

  CRHOVÁ Jitka KRČÁL Pavel STREJČEK Jan ŠAFRÁNEK David ŠIMEČEK Pavel

  Článek ve sborníku

  Proceedings of Tools Day, rok: 2002

2001

• Grafická specifikace souběžných systémů

  ŠAFRÁNEK David

  Odborná kniha

  Rok: 2001, počet stran: 68 s.