Submission of new papers for KMOTS2019 (International Workshop on Knowledge and MOdel-driven engineering in formal development of Trustworthy Systems) is closed.

EasyChair uses cookies for user authentication. To use EasyChair, you should allow your browser to save cookies from easychair.org.