HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Wilfried Steiner

Publications
Verification of Fault-Tolerant Clock Synchronization Algorithms
Sergiy Bogomolov, Christian Herrera and Wilfried Steiner
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

Keyphrases

benchmark, Clock Synchronization Algorithm, hybrid automata, model checking, quasi-dependent variables, TTEthernet, verification.

Copyright © 2012-2023 easychair.org. All rights reserved.