Browse by author
Lookup NU author(s): Mariia Vasileva,
Dr Fedor Shmarov,
Dr Paolo Zuliani
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been accepted and is due to be published in its final definitive form by IEEE, 2020.
For re-use rights please refer to the publisher's terms and conditions.
Author(s): Vasileva M, Shmarov F, Zuliani P
Publication type: Conference Proceedings (inc. Abstract)
Publication status: In Press
Conference Name: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design
Year of Conference: 2020
Acceptance date: 26/09/2020
Date deposited: 03/11/2020