Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Ismaïl Mendil
Latest
A Framework for Critical Interactive System Formal Modelling and Analysis
Cite
×