An STPA-based formal composition framework for trustworthy autonomous maritime systems
| Autor: | Dghaym, Dana, Hoang, Thai Son, Turnock, Stephen R., Butler, Michael, Downes, Jon, Pritchard, Ben |
|---|---|
| Zdroj: | In Safety Science April 2021 136 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect