Related articles

1. Hlavička, J. - Racek, S. - Šmrha, P.: Functional Validation of Fault-Tolerant Asynchronous Algorithms,
   Proceedings of EUROMICRO-22, Prague, Czech Republic, September 1996, pp. 143-150, ISBN 0-8186-7487-3, ISSN 1089-6503
2. Racek, S. - Roubín, M.: Pravděpodobnostní modely počítačů
   (Probabilistic Models of Computers),
   Lecture Notes, University of West Bohemia Publishing, September 1996, 154 p., ISBN 80-7082-300-3
3. Racek, S. - Herout, P.: Functional Verification of Fault-Tolerant Systems Software throught Discrete Digital Simulation,
   31st Spring International Conference MOSIS'97 - Modelling and System Simulation, Hradec nad Moravicí, April 1997, pp. 57-62, ISBN 80-85988-17-8
4. Hlavička, J. - Racek, S. - Herout, P.: Analysis and Testing of Process Controler Dependability,
   9th European Workshop of Dependable Computing, Gdaňsk, Poland, May 1998, pp. 7-11, ISBN 83-907591-1-X
5. Racek, S. - Herout, P. - Hlavička, J.: Fault Injection as a Tool for FT Process Controler Design,
   Proceedings of DDECS'97 - Design and Diagnostic of Electronic Circuits and System, Szczyrk, Poland, September 1998, pp. 123-128, ISBN 83-908409-6-0
6. Herout, P.: Návrh funkce vestavěného mikropočítače se zvýšenou spolehlivostí
   (A Proposal of Reliable Embeded Microcomputer),
   PhD Thesis, University of West Bohemia Publishing, February 1999, 124 p.
7. Štika, J. - Racek, S. - Herout, P.: Simulační verifikace aplikací pracujících v oblasti reálného času
   (Functional Validation of RT-programs by Means of Simulation),
   33rd Spring International Conference MOSIS'99 - Modelling and Simulation of System, Rožnov pod Radhoštěm, April 1999, pp. 223-230, ISBN 80-85988-33-X
8. Churavý, D.: Prostředí pro simulační nástroj C-Sim v MS-DOSu
   (C-Sim v.4.1 Run-time Environment for MS-DOS),
   MSc. Diploma Thesis, University of West Bohemia Publishing, May 1999, 102 p.
9. Herout, P. - Racek, S. - Hlavička, J.: Simulační ověření funkce spolehlivého průmyslového mikropočítače
   (Verification of Function of Reliable Industrial Controller by Means of Simulation),
   Automatizace, vol. 42, no. 6, June 1999, ISSN 0005-125X, pp. 399-403
10. Hlavička, J. - Racek, S. - Herout, P.: C-Sim v.4.1,
    Research Report DC-99-09, DCSE CTU Prague Publishing, Prague, December 1999, 108 p.