FM&MDD 2017

2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems

November 2017, Xi'an - in Conjunction with ICFEM 2017

Main Content

Organizers

Fuyuki Ishikawa, National Institute of Informatics, Japan

Patrizio Pellicione, Chalmers University of Technology and University of Gothenburg, Sweden

Elena Troubitsyna, Åbo Akademi University, Finland