Contact
Social
Category & trade
Tech stack
AI readiness
AI-Readiness score
34 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
Compliance (GEO / GDPR)
TLD
Overview
Title
An EPSRC Programme Grant-funded project, aimed at developing a systematic theory and automated verification tools for reasoning about interfacing and communication between complex, large-scale systems.
Description
Our societies and economies are becoming increasingly reliant on digital ecosystems constituted of large, complex, dynamic, and highly distributed systems. Digital innovations including Platforms, Big Data, the Internet of Things, Smart Cities, Cloud Computing, and Artificial Intelligence, involve a myriad of interacting systems owned and operated by different companies which become tightly coupled through their…
Final URL
Language
en (html)
Scanned at
2026-06-23 08:45:10