ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
0
views
17
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,478
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
An STPA-based formal composition framework for trustworthy autonomous maritime systems
Author(s):
Dana Dghaym
,
Thai Son Hoang
,
Stephen R. Turnock
,
Michael Butler
,
Jon Downes
,
Ben Pritchard
Publication date
Created:
April 2021
Publication date
(Print):
April 2021
Journal:
Safety Science
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Further versions
oa repository (via OAI-PMH doi match)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Open source discrete and agent-based modeling frameworks for biology
Most cited references
17
Record
: found
Abstract
: not found
Article
: not found
Rodin: an open toolset for modelling and reasoning in Event-B
Jean-Raymond Abrial
,
Michael Butler
,
Stefan Hallerstede
…
(2010)
0
comments
Cited
64
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
ProB: an automated analysis toolset for the B method
Michael Leuschel
,
Michael Butler
(2008)
0
comments
Cited
25
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Is Open Access
STPA-SafeSec: Safety and security analysis for cyber-physical systems
Ivo Friedberg
,
Sakir Sezer
,
David Laverty
…
(2017)
0
comments
Cited
15
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Contributors
Dana Dghaym:
(View ORCID Profile)
Thai Son Hoang:
(View ORCID Profile)
Stephen R. Turnock:
(View ORCID Profile)
Michael Butler:
(View ORCID Profile)
Jon Downes:
(View ORCID Profile)
Ben Pritchard:
(View ORCID Profile)
Journal
Title:
Safety Science
Abbreviated Title:
Safety Science
Publisher:
Elsevier BV
ISSN (Print):
09257535
Publication date Created:
April 2021
Publication date (Print):
April 2021
Volume
: 136
Page
: 105139
Article
DOI:
10.1016/j.ssci.2020.105139
SO-VID:
998ba8c6-b2d1-4445-bf01-d1fc82e6133a
Copyright ©
© 2021
License:
https://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
3,478
Requirement for the molecular adapter function of StpA at the Escherichia coli bgl promoter depends upon the level of truncated H-NS protein.
Authors:
Maureen Porter
,
David Dorman
,
Teresa Free
…
Mechanisms of StpA-mediated RNA remodeling.
Authors:
Martina Doetsch
,
Thomas Gstrein
,
Renée Schroeder
…
Molecular characterization of the Salmonella typhi StpA protein that is related to both Yersinia YopE cytotoxin and YopH tyrosine phosphatase.
Authors:
N Arricau
,
D Hermant
,
H Waxin
…
See all similar
Cited by
3
The past and present of System-Theoretic Accident Model And Processes (STAMP) and its associated techniques: A scoping review
Authors:
Riccardo Patriarca
,
Mikela Chatzimichailidou
,
Nektarios Karanikas
…
Investigation of the compressed air energy storage (CAES) system utilizing systems-theoretic process analysis (STPA) towards safe and sustainable energy supply
Authors:
Aibo Zhang
,
Zhaoyuan Yin
,
Zhiying Wu
…
Risk and reliability analysis for maritime autonomous surface ship: A bibliometric review of literature from 2015 to 2022
Authors:
Zhihong Li
,
Di Zhang
,
Bing Han
…
See all cited by
Most referenced authors
53
M Butler
Stefan Wagner
T. Hoang-Gia
See all reference authors