LUISA VISSAT, Ludovica
LUISA VISSAT, Ludovica
Universita' degli Studi di Trieste
Collaboratori
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Automatic verification of reliability requirements of spatio-temporal analysis using three-valued spatio-temporal logic
2017-01-01 Vissat, Ludovica Luisa; Hillston, Jane; Loreti, Michele; Nenzi, Laura
Three-valued spatio-temporal logic: A further analysis on spatio-temporal properties of stochastic systems
2017-01-01 LUISA VISSAT, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn