Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. M. Abadi and L. Lamport. An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems, 16(5):1543–1571, 1994.
2. S. Bensalem, P. Caspi, C. Dumas, and C. Parent-Vigouroux. A methodology for proving control programs with Lustre and PVS. In Dependable Computing for Critical Applications, DCCA-7, San Jose. IEEE Computer Society, January 1999.
3. J.-L. Bergerand and E. Pilaud. Saga: A software development environment for dependability in automatic control. In IFAC-SAFECOMP’88. Pergamon Press, 1988.
4. D. Brière, D. Ribot, D. Pilaud, and J.L. Camus. Methods and specification tools for Airbus on-board systems. In Avionics Conference and Exhibition, London, December 1994. ERA Technology.
5. P. Caspi and N. Halbwachs. A functional model for describing and reasoning about time behaviour of computing systems. Acta Informatica, 22:595–627, 1986.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献