Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation
| Autor: | Petriccone, A., Pola, G., Di Benedetto, M.D., Santis, E. De |
|---|---|
| Zdroj: | In IFAC Proceedings Volumes 2012 45(9):370-375 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|