doc. RNDr. David Šafránek, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
office: A411
Botanická 554/68a
602 00 Brno
phone: | +420 549 49 4476 |
---|---|
e‑mail: |
social and academic networks: |
---|
Total number of publications: 116
2004
-
Visual Specification of Systems with Heterogeneous Coordination Models
Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, year: 2004
2003
-
Visual Specification of Concurrent Systems
18th IEEE International Conference on Automated Software Engineering, year: 2003
2002
-
SGCCS: A Graphical Language for Real-Time Coordination
Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures, year: 2002
-
SGCCS: A Graphical Language for Real-Time Systems
Proceedings SOFSEM 2002 Student Research Forum, year: 2002
-
YAHODA: verification tools database
Proceedings of Tools Day, year: 2002
2001
-
Grafická specifikace souběžných systémů
Year: 2001, number of pages: 68 s.