. . "Description of a simulation model of TTP/C protocol. The paper describes the modular structure and platform portability of the model as well as the possible application: an exact protocol specification and verification of FT properties." . . . "S. 239-244" . "TTP/C; TTA; Simulation; C-SIM; Modelling; Fault Injection; Fault Tolerance"@en . . . . "RIV/49777513:23520/01:00065316" . . . "Grillinger, Petr" . "Simulation model of TTP/C protocol" . "Z(MSM 235200005)" . "Neuveden" . "Neuveden" . . "Simulation model of TTP/C protocol" . "6"^^ . . "23520" . "2001-01-01+01:00"^^ . "Simulation model of TTP/C protocol"@en . . . . . . . "Simulation model of TTP/C protocol" . . "[1F0FA27DE648]" . "Neuveden" . "695798" . . "0"^^ . "1"^^ . "0"^^ . "RIV/49777513:23520/01:00065316!RIV/2002/MSM/235202/N" . "1"^^ . "Simulation model of TTP/C protocol"@en . "Description of a simulation model of TTP/C protocol. The paper describes the modular structure and platform portability of the model as well as the possible application: an exact protocol specification and verification of FT properties."@en . .