Method Based on SEFT-to-Petri for Safety Analysis of Software
System safety is a vital non-functional requirement whose satisfaction is essential for system software. However, modern aerospace system software is more and more complicated, which results in a high complexity of analyzing system faults. With the increased acceptance of Model-based Systems Enginee...
Na minha lista:
| Principais autores: | , , , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
EDP Sciences
2018-01-01
|
| coleção: | MATEC Web of Conferences |
| Acesso em linha: | https://doi.org/10.1051/matecconf/201817903030 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|