dblp.uni-trier.dewww.uni-trier.de

Stanislav Racek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
8EEPetr Grillinger, Premysl Brada, Stanislav Racek: Simulation Approach to Embedded System Programming and Testing. ECBS 2004: 248-254
7EEPremysl Brada, Petr Grillinger, Stanislav Racek: High-Level Simulation of Embedded Systems: Experiences from the FIT Project. ISORC 2004: 245-248
6 Stanislav Racek, Pavel Herout, Jan Hlavicka: Dependability Evaluation of Time Triggered Architecture Using Simulation. Computers and Artificial Intelligence 23(1): (2004)
2003
5EERoman Jokl, Stanislav Racek: C-Sim version 5.0. ACSD 2003: 229-230
2002
4EEJan Hlavicka, Stanislav Racek: C-Sim - The C Language Enhancement for Discrete-Time Simulations. DSN 2002: 539
3EEPavel Herout, Stanislav Racek, Jan Hlavicka: Model-Based Dependability Evaluation Method for TTP/C Based Systems. EDCC 2002: 271-282
2000
2EEJan Hlavicka, Stanislav Racek, Pavel Herout: Evaluation of process controller fault tolerance using simulation. Simul. Pr. Theory 7(8): 769-790 (2000)
1996
1EEJan Hlavicka, Stanislav Racek, Pavel Smrha: Functional Validation of Fault-Tolerant Asynchronous Algorithms. EUROMICRO 1996: 143-150

Coauthor Index

1Premysl Brada [7] [8]
2Petr Grillinger [7] [8]
3Pavel Herout [2] [3] [6]
4Jan Hlavicka [1] [2] [3] [4] [6]
5Roman Jokl [5]
6Pavel Smrha [1]

Colors in the list of coauthors

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)