Author:
Prosvirnova Tatiana,Seguin Christel,Frazza Christophe,Batteux Michel,de Bossoreille Xavier,Deschamps Frédéric,Gauthier Jean,Saez Estelle
Publisher
Springer International Publishing
Reference19 articles.
1. EUROCAE ED-135 guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment
2. Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica language and its semantics. Fund. Inform. 34, 109–124 (2000)
3. Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 assertions: the why and the wherefore. J. Risk Reliab. (2017, article accepted)
4. Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 in 10 modeling patterns. Int. J. Crit. Comput.-Based Syst. 9(1–2), 133–165 (2018). https://doi.org/10.1504/IJCCBS.2019.098809
5. Bernard, R., Aubert, J.J., Bieber, P., Merlini, C., Metge, S.: Experiments in model-based safety analysis: flight controls. In: Faure, J.M. (ed.) Proceedings of IFAC Workshop on Dependable Control of Discrete Systems, Cachan, France, pp. 43–48. Curran Associates Inc. (2007). ISBN 9781617389948
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献