Author:
van Katwijk Jan,Toetenel Hans,Sahraoui Abd-El-Kader,Anderson Eric,Zalewski Janusz
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alur R., D. Dill. The Theory of Timed Automata. Theoretical Computer Science, Vol. 26, pp. 183–235, 1994.
2. Ammerlaan M., R. Lutje-Spelberg, W. J. Toetenel. XTG — An Engineering Approach to Modelling and Analysis of Real-Time Systems. Proc. 10th Euromicro Workshop on Real-Time Systems, pp. 88–97. IEEE Computer Society Press, 1998.
3. Anderson E., J. van Katwijk, J. Zalewski, New Method of Improving Software Safety in Mission-Critical Real-Time Systems, Proc. 17th Int’l System Safety Conf., System Safety Society, Unionville, VA, 1999, pp. 587–596
4. Beaufreton M., SACRES: A Step Forward in the Development of Critical Avionics Systems, Proc. HSCC’99, 2nd Int’l Workshop on Hybrid Systems Computation and Control. Springer-Verlag, Berlin, 1999.
5. Brink K., J. van Katwijk, H. Toetenel, J. Zalewski, H-Astral and Its Use in the Development of Real-Time Control Systems, Proc. 24th IFAC/IFIP Workshop on Real-Time Programming, pp. 123–128, Pergamon, Oxford, 1999
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献