Author:
Noisette Bertille,Dobol Sébastien,Monteil Laurène
Publisher
Springer International Publishing
Reference8 articles.
1. Lecture Notes in Computer Science;M Bozzano,2003
2. Boiteau, M., Dutuit, Y., Signoret, J.-P., Rauzy, A.: The AltaRica data-flow language in use: modeling of production availability of a multi-state system. Reliab. Eng. Syst. Saf. 91(7), 747–755 (2006). ISSN 0951-8320
3. Rauzy, A.: Modes automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78(1), 1–12 (2002). ISSN 0951-8320
4. Prosvirnova, T.: AltaRica 3.0: a model-based approach for safety analyses. Doctoral thesis. Ecole Polytechnique (2014)
5. APSYS: SimfiaNeo User Manual, Version 1.4.2 (2022)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献