Navigazione di Sezione:
Metodi Di Verifica Di Sistemi 2010/2011
Per aggiungere un Corso tra i Preferiti è necessario Accedere al Sito.
Metodi di verifica formale.
Model checking esplicito.
Model checking simbolico.
Sistemi ibridi.
Per aggiungere un Corso tra i Preferiti è necessario Accedere al Sito.
Metodi di verifica formale.
Model checking esplicito.
Model checking simbolico.
Sistemi ibridi.