FALASCHI, MASSIMILIANO Statistiche
FALASCHI, MASSIMILIANO
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 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. |