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
Mehr anzeigen