FALASCHI, MASSIMILIANO Statistiche
FALASCHI, MASSIMILIANO
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
A framework for monitored dynamic slicing of reaction systems
2024-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Verification of Reaction Systems Processes
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A framework for monitored dynamic slicing of reaction systems | 1-gen-2024 | Brodo, L.; Bruni, R.; Falaschi, M. | |
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | |
Verification of Reaction Systems Processes | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. |