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.
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)