Inserire una breve descrizione delle modifiche fatte
(Richiesto)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Simulazione e Verifica di Sistemi Biochimici in PRISM
I sistemi biochimici sono un esempio notevole di sistema difficile da analizzare: recenti applicazioni a contesti di bioinformatica e sistemi software autoorganizzante rendono questo problema cruciale. Lo strumento PRISM è lo standard di fatto per l'analisi/simulazione/verifica di sistemi stocastici tempo-continui. In questa tesi si deve analizzare in dettaglio la possibilità di applicare questo strumento ai sistemi biochimici, valutando la possibilità/necessità di adottare opportune tecniche di ottimizzazione, e considerando la letterature esistente sull'argomento.
