Cliff B. Jones | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Alan Burns
3 publications
Martyn Thomas
1 publication

research

∙ 12/02/2020

A Rely-Guarantee Specification of Mixed-Criticality Scheduling

The application considered is mixed-criticality scheduling. The core for...

0 Cliff B. Jones, et al. ∙

research

∙ 06/11/2020

The development and deployment of formal methods in the UK

UK researchers have made major contributions to the technical ideas unde...

0 Cliff B. Jones, et al. ∙