Max Planck Institute for Software Systems

Start Date End Date Funded Value Relevance

CSV

25 50 100

£1,579,794

Sep 18 - Aug 24

VeTSpec: Verified Trustworthy Software Specification

SPF award to Imperial College London and Philippa Gardner

£388,068

Sep 21 - Dec 23

CodeCPS: Correct-by-Design Estimation and Control of Cyber-Physical Systems

EPSRC award to Newcastle University and Sadegh Soudjani

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}