Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Benoît Fraikin
Latest
Modeling the Supervisory Control Theory with Alloy
Cite
×