Informace o projektu
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
(AMASS)
- 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
- Spolupracující organizace
-
Tecnalia
bude doplněno
Publikace
Počet publikací: 3
2018
-
Finding Regressions in Projects under Version Control Systems
13th International Conference on Software Technologies, rok: 2018
2017
-
Consistency Checking in Requirements Analysis
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, rok: 2017
2016
-
Tunable Online MUS/MSS Enumeration
Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, rok: 2016