Giles Howard
Orcid: 0000-0002-6879-8544
According to our database1,
Giles Howard
authored at least 2 papers
between 2017 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B.
Int. J. Crit. Comput. Based Syst., 2019
2017
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology.
Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017