Author:
Hu Jun,Qi Jian,Wang Lisong,Dong Yanhong,Gu Qingfan,Rong Hao
Publisher
Springer Nature Singapore
Reference14 articles.
1. Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2), 155–166 (2011)
2. Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 language specification. AltaRica Association (2015)
3. Batteux, M., Rauzy, A., Labrogere, P.: The OpenAltaRica project. In: Short & Tutorial Proceedings of the 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014 (2014)
4. Boiteau, M., Dutuit, Y., Rauzy, A., Signoret, J.P.: The AltaRica data-flow language in use: modeling of production availability of a multi-state system. Reliab. Eng. Syst. Safety 91(7), 747–755 (2006)
5. Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems. CRC Press, Boca Raton (2010)