CASTIGLIONI, VALENTINA
CASTIGLIONI, VALENTINA
Scuola di Scienze e Tecnologie
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems
2024-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
2024-01-01 Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S.
RobTL: Robustness Temporal Logic for CPS
2024-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment
2023-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
STARK: A tool for the analysis of CPSs robustness
2024-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems | 1-gen-2024 | Castiglioni, V.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations | 1-gen-2024 | Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
RobTL: Robustness Temporal Logic for CPS | 1-gen-2024 | Castiglioni, V.; Loreti, M.; Tini, S. | Contributo in atto di convegno su volume | |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment | 1-gen-2023 | Castiglioni, V.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
STARK: A tool for the analysis of CPSs robustness | 1-gen-2024 | Castiglioni, V.; Loreti, M.; Tini, S. | Articolo |