doc. RNDr. David Šafránek, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
Office: A408
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4476 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 114
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.