Formal modelling processes for analysing cyber-physical systems

Описание к видео Formal modelling processes for analysing cyber-physical systems

This is a talk that i gave at the ICECOCS 2020 conference. It gives an overview of the aims of what we do and how we use the tools.

Комментарии

Информация по комментариям в разработке