Informace o projektu
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (AMASS)

Informace

Projekt nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

Kód projektu

692474

Období řešení

4/2016 - 3/2019

Investor / Programový rámec / typ projektu

Evropská unie

Horizon 2020
ECSEL

Fakulta / Pracoviště MU

Fakulta informatiky

prof. RNDr. Jiří Barnat, Ph.D.

Spolupracující organizace

Tecnalia

bude doplněno

Publikace

Počet publikací: 3

2018

Finding Regressions in Projects under Version Control Systems

BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana

Článek ve sborníku

13th International Conference on Software Technologies, rok: 2018

2017

Consistency Checking in Requirements Analysis

BENDÍK Jaroslav

Článek ve sborníku

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, rok: 2017

2016

Tunable Online MUS/MSS Enumeration

BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

Článek ve sborníku

Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, rok: 2016