1. [I]nfo
  2. [M]oduli
  3. [B]acheca
  4. [P]rogramma
  5. [O]rari
  6. [E]sami
  7. E[v]enti
  8. [F]iles

Programma di Metodi Di Verifica Di Sistemi:

Metodi di verifica formale.

Model checking esplicito.

Model checking simbolico.

Sistemi ibridi.
2021 © Università di TorVergata  |  FAQ  |  Contatta la Redazione  |