Loose synchronization of event-triggered networks for distribution of synchronous programs
暂无分享,去创建一个
[1] Manfred Broy,et al. Specification and Development of Interactive Systems , 2001, Monographs in Computer Science.
[2] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[3] Stephen A. Edwards,et al. The Synchronous Languages Twelve Years Later , 1997 .
[4] Nancy A. Lynch,et al. A new fault-tolerant algorithm for clock synchronization , 1984, PODC '84.
[5] Alan Burns,et al. Guaranteeing message latencies on controller area network (can) , 1994 .
[6] Hermann Kopetz,et al. Real-time systems , 2018, CSC '73.
[7] Florian Hartwich,et al. Time Triggered CAN (TTCAN) , 2001 .
[8] Albert Benveniste,et al. A Protocol for Loosely Time-Triggered Architectures , 2002, EMSOFT.
[9] Bernhard Schätz,et al. Consistent Graphical Specification of Distributed Systems , 1997, FME.
[10] Paul Caspi,et al. Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors , 1999, IEEE Trans. Software Eng..
[11] Manfred Broy,et al. Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .