White-box validation of quantitative product lines by statistical model checking and process mining Open new browser tab
(2024)
Inizio contenuto principale del sito
Pubblicazioni istituto
Risultati ricerca pubblicazioni
-
-
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining Open new browser tab
(2024)
-
Il soggiorno obbligato. La disabilità fra dispositivi di incapacitazione e strategie di emancipazione Open new browser tab
(2024)
-
Democrazia militante, ma non troppo. Niente finanziamento pubblico al partito neonazista Die Heimat Open new browser tab
(2024)
-
Proportional Representation and Electoral Equality in German Constitutional Thinking and Case Law Open new browser tab
(2024)
-
The 2024 European election in France: continuity and innovation amid domestic and international turmoil Open new browser tab
(2024)
-
Bundesbank e Parlamento tedesco Open new browser tab
(2024)
-
Study Supporting the Monitoring of Care Credits in Occupational Pension Schemes Open new browser tab
(2024)
-
L’etichettatura delle altre bevande alcoliche Open new browser tab
(2024)
-
The European Conservatives and Reformists Group: Cooperation or Opposition in Europe’s Parliament? Open new browser tab
(2024)