Navigazione di Sezione:
Metodi Di Verifica Di Sistemi 2011/2012
Metodi di verifica formale. Model checking esplicito. Model checking simbolico. Sistemi ibridi.
Metodi di verifica formale. Model checking esplicito. Model checking simbolico. Sistemi ibridi.