Tope Omitola

cyber-physical systems cps iot security safety requirements analysis security requirements analysis university of southampton event-b formal methods stpa system theoretic process analysis critical maritime infrastructure (cmi) unmanned uuv uav autonomous systems autonomy internet of things linked data rdf semantic web. w3c provenance trust data quality