Safety Analysis of the Embedded Systems with the AltaRica Approach
Pierre Bieber, Christel Seguin · 2012
This chapter contains sections titled: Introduction Safety analysis of embedded systems AltaRica language and tools Examples of modeling and safety analysis Comparison with other approaches Conclusion Special thanks Bibliography