International Workshop on Verification and mOnitoring at Runtime EXecution

Дания, Орхус
12 июля 2021

Форма участия: Дистанционная

Срок подачи заявок: 30.04.2021

Организаторы: Virtual venue: Aarhus University, co-located with ECOOP/ISSTA 2021

emal: [email protected]

Повысить рейтинг

Повышение рейтинга дает возможность оставаться объявлению в топе на главной странице, а также на страницах городов, тематик, связанных с объявлением.

Текущее значение: 0

Topics

monitor construction and synthesis techniques
program adaptation
monitoring oriented programming
runtime enforcement, fault detection, recovery and repair
combination of static and dynamic analyses
specification formalisms for RM
specification mining
monitoring concurrent/distributed systems
RM for safety and security
RM for the Internet of Things
industrial applications
integrating RM, formal verification, and testing
tool development
instrumentation techniques for RM
surveys on different RM tools, formal frameworks or methodologies
presentations of RM tools

Смотреть похожие мероприятия

Shopping Cart