Author:
Legendre Anthony,Donat Roland
Publisher
Springer International Publishing
Reference22 articles.
1. Implications of Increasing Grade of Automation. https://www.apta.com/wp-content/uploads/RC17-Keevill_Dave.pdf. Accessed 24 Apr 2022
2. Point, G., Rauzy, A.: AltaRica: constraint automata as a description language. Eur. J. Autom. Syst. 33(8–9), 1033–1052 (1999)
3. Prosvirnova, T., Batteux, M., Brameret, P.A., Cherfi, A., Friedlhuber, T., et al.: The AltaRica 3.0 project for model-based safety assessment. In: 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, York, UK (2013)
4. Bouissou, B., Bouhadana, H., Bannelier, M., Villatte, N.: Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools. In: Proceedings of SAFECOMP 1991, Trondheim, Norway (1991)
5. Güdemann, M., Ortmeier, F.: A framework for qualitative and quantitative model-based safety analysis. In: Proceedings of the 12th High Assurance System Engineering Symposium (HASE 2010), pp. 132–141 (2010)