Конференции, Семинары

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

Подать заявку на участие в мероприятии
  • РЕКОМЕНДУЕМ ВАМ

Международная научно-практическая конференция “Наука и технологии” 🌍🔬 24/25

1 сентября-30 июля 2025

🚀 Международная научно-практическая конференция “Наука и технологии” 24/25 🌍🔬 — это событие, которое нельзя пропустить! 📚 С 1 сентября 2024 года по 30 июля 2025 года приглашаем ученых, студентов и пре...

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

II Международный конкурс для школьников по программированию и робототехнике “Роботы и коды” 24/25

🚀 II Международный конкурс по программированию и робототехнике “Роботы и коды” 24/25! 🤖 Друзья, внимание! 🌍 Готовы погрузиться в мир будущего, где каждый код оживает, а роботы исполняют ваши команды?...

Международный хакатон для школьников «Социальный Прорыв» 2024/2025

🧠 Международный хакатон для школьников «Социальный Прорыв» 2024/2025! 💡 🌍 Готовы изменить мир? Впереди вас ждет уникальная возможность проявить свои таланты, создавая инновационные решения для социальных проблем! Хакатон «Социальный Прорыв»...

Конференция FlowDays 2024

Ежегодная конференция FlowDays – 2024 о современных методах управления бизнесом и процессами   Дата: 13 сентября 2024 года Место: Старт Хаб на Красном Октябре Организатор: Neogenda Сайт: https://flowdays.ru/  Как эффективно...
Корзина для покупок