Author:
Bae Kyungmin,Meseguer José,Ölveczky Peter Csaba
Reference30 articles.
1. Implementing logical synchrony in integrated modular avionics;Miller,2009
2. Formalization and correctness of the PALS architectural pattern for distributed real-time systems;Meseguer;Theor. Comput. Sci.,2012
3. TTP – a protocol for fault-tolerant real-time systems;Kopetz;IEEE Computer,1994
4. Systematic formal verification for fault-tolerant time-triggered algorithms;Rushby;IEEE Trans. Softw. Eng.,1999
5. Pattern-based composition and analysis of virtually synchronized real-time distributed systems;Al-Nayeem,2012
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献