Huawei European Research Symposium

Woodcock, J. (Advisor)

Computer Science

Activity: Participating in or organising an event › Symposium

Period	16 Jan 2019 → 17 Jan 2019
Event type	Seminar
Location	Paris, FranceShow on map
Degree of Recognition	International

Documents & Links

huawei-paris-certifiable-ras-assurance-using-integrated-formal-methods
File: application/pdf, 1.87 MB
Type: Text

Related content

Projects
CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
Project: Research project (funded) › Research
Requirements Modelling for Cyber-Physical Systems
Project: Research project (funded) › Research
A Calculus for Software Engineering of Mobile and Autonomous Robots
Project: Research project (funded) › Research