| Autore |
Titolo |
Corso di studi |
Relatore |
| TROINA, ANGELO |
Probabilistic Timed Automata for Security Analysis and Design |
INFORMATICA |
Maggiolo Schettini
, Andrea
|
| MILAZZO, PAOLO |
QUALITATIVE AND QUANTITATIVE FORMAL MODELING OF BIOLOGICAL SYSTEMS |
INFORMATICA |
Maggiolo Schettini
, Andrea
|
| CAMBRIA, GIOVANNI |
Formalizzazione e confronto di algoritmi di simulazione stocastici con ritardo |
INFORMATICA |
Maggiolo Schettini
, Andrea
|
| BASUKI, THOMAS ANUNG |
Modelling Biological Systems From Molecular Interactions to Population Dynamics |
INFORMATICA |
Maggiolo Schettini
, Andrea
|
| PARDINI, GIOVANNI |
Formal Modelling and Simulation of Biological Systems with Spatiality |
INFORMATICA |
Maggiolo Schettini
, Andrea
|
| DRABIK, PETER |
Modular Verification of Biological Systems |
INFORMATICA |
Maggiolo Schettini
, Andrea
|
| SETIAWAN, SURYANA |
Formal Modelling for Population Dynamics
|
SCIENZE DI BASE |
Maggiolo Schettini
, Andrea
|
