Publication | Closed Access
An STPA-based formal composition framework for trustworthy autonomous maritime systems
52
Citations
11
References
2021
Year
Naval ArchitectureFormal SpecificationEngineeringFormal ModelingInformation SecurityVerificationFormal MethodsSystems EngineeringComputer ScienceMarine EngineeringMaritime SafetyFormal VerificationMaritime CooperationVessel Traffic Service
| Year | Citations | |
|---|---|---|
Page 1
Page 1