Loading...
Please wait, while we are loading the content...
Similar Documents
Modélisation et preuve de sécurité des systèmes du transport ferroviaire
| Content Provider | Semantic Scholar |
|---|---|
| Author | Mussat, Louise Sabatier, Daniel |
| Copyright Year | 2015 |
| Abstract | Le sujet de la démonstration de sécurité du système à partir de celles de ses constituants sera traité dans une phase ultérieure ; il est envisagé d’employer à rebours les facilités de raffinement offertes par la méthode B pour abstraire les sous-systèmes en ne retenant que leurs propriétés de sécurité. Au cours de la première phase de cette recherche, un sous-système est étudié dans un environnement regroupant les autres sous-systèmes. |
| File Format | PDF HTM / HTML |
| DOI | 10.4267/2042/56145 |
| Alternate Webpage(s) | http://documents.irevues.inist.fr/bitstream/handle/2042/56145/lm19_com_2C-4_089_L_Mussat.pdf;jsessionid=C288834CA3E83B779C79FF57556E9864?sequence=1 |
| Alternate Webpage(s) | https://doi.org/10.4267/2042%2F56145 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |