Cyber Physical Systems
Cyber Physical Systems

Publications

天发娱乐棋牌_天发娱乐APP-官网|下载 projects have an impact in many different industries. Browse our publications to find out more
Property ownership formal modelling using Event-B and iUML-B
Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi & Gary Wills, 2024
Type: conference
Semantics formalisation – from Event-B contexts to theories
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook & Michael Butler, 2024
Type: conference
Verifying HyperLTL properties in Event-B
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali & Thai Son Hoang, 2024
Type: conference
Formal specification of actual trust in multiagent systems
Michael Akintunde, Vahid Yazdanpanah, Asieh Fathabadi, Corina Cirstea, Mehdi Dastani & Luc Moreau, 2024
Type: conference
Actual Trust in Multiagent Systems
Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cirstea, Mehdi Dastani & Luc Moreau, 2024
Type: conference