| Autor: |
Adeline, Romain, Darfeuil, Pierre, Humbert, Sophie, Cardoso, Janette, Seguin, Christel |
| Přispěvatelé: |
Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE), Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE), Turbomeca (FRANCE) |
| Jazyk: |
angličtina |
| Rok vydání: |
2010 |
| Předmět: |
|
| Popis: |
Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment process of industrial systems. In this context, the paper aims at describing and applying a common methodology to model physical systems. The example of a mechanical system and a hydro-mechanical system will be taken. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
