An STPA-based formal composition framework for trustworthy autonomous maritime systems

Publication date: April 2021Source: Safety Science, Volume 136Author(s): Dana Dghaym, Thai Son Hoang, Stephen R. Turnock, Michael Butler, Jon Downes, Ben Pritchard
Source: Safety Science - Category: Occupational Health Source Type: research