Publikace související s projektem:
Co jsou to vlastně nezávislé kódy?
MIS Proceedings, Josefův Důl, 2011
Safety Code Assessment in QSC-model.
EURO-Zel Proceedings, Žilina, May 2010.
Design and Evaluation of a Safe Driver Machine Interface.
International Journal of Performability Engineering, 2009.
Metodika kvantitativního hodnocení detekčních kódů
- disertační práce.
Lucie Kárná, ČVUT Praha, 2009.
Quantitative Assesment of Safety Codes.
FORMS/FORMAT Proceedings, Budapest, 2008.
Calculation of Detection Properties in a Binary Symmetrical Channel.
FORMS/FORMAT Proceedings, Braunschweig, 2007.
Towards a Theory of Railways
- Ph.D. Thesis
Martin Pěnička, CVUT v Praze, December 2006
Calculation of Detection Properties in Binary Symmetrical Channel.
AED Proceedings, Praha 2006.
"UML"-izing Formal Techniques: Railway Examples
INT Proceedings, Barcelona, March 2004
Dynamics of Railway Nets
IFAC Proceedings, Tokyo, August 2003
Railway Staff Rostering
IFAC Proceedings, Budapest, May 2003
Train Maintenance Routing
IFAC Proceedings, Budapest, May 2003
New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems - a Review
IFAC Proceedings, Budapest, May 2003
What are Railways,
AMORE Report, Patras, November 2001 (1994-2000)
Formal Software Techniques in Railway Systems
IFAC Proceedings, Braunschweig (Germany), June 2000
PROJEKT:
Úvod
Anotace
Lidé
Publikace
Odkazy
Nábor
| Poslední aktualizace:
9. 11. 2012