Author:
Bieber Pierre,Bougnol Christian,Castel Charles,Christophe Kehren Jean-Pierre Heckmann,Metge Sylvain,Seguin Christel
Reference7 articles.
1. A. Arnold, A. Griffault, G. Point, A. Rauzy. The AltaRica formalism for describing concurrent systems. Fundamenta Informaticae no40, p109–124, 2000.
2. M. Bozzano et alter, ESACS: an integrated methodology for design and safety analysis of complex systems. ESREL 2003 European Safety and Reliability Conference, 2003.
3. P. Fenelon, J.A. McDermid, M. Nicholson, D.J. Pumfrey, Towards Integrated Safety Analysis and Design, ACM Computing Reviews, Vol. 2,No. 1, p.21–32,1994.
4. K.L. MacMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993, ISBN 0-7923-9380-5.
5. C. Kehren et alter, Architecture patterns for safe design, in proceedings of the first AAAF Conference on Complex and Safe System Engineering, 2004.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献