Sciweavers

MAM
2002
90views more  MAM 2002»
13 years 4 months ago
Layered interactive convergence for distributed clock synchronization
Raghukul Tilak, Alan D. George, Robert W. Todd
FMICS
2010
Springer
13 years 6 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre