Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Model Checking for Graded CTL
2009-01-01 Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente
Graded-CTL: Satisfiability and Symbolic Model Checking
2009-01-01 Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente
Graded-CTL
2009-01-01 Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente
A NuSMV Extension for Graded-CTL Model Checking
2010-01-01 Ferrante, Alessandro; Maurizio, Memoli; Margherita, Napoli; Mimmo, Parente; Francesco, Sorrentino
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model Checking for Graded CTL | 1-gen-2009 | Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente | |
Graded-CTL: Satisfiability and Symbolic Model Checking | 1-gen-2009 | Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente | |
Graded-CTL | 1-gen-2009 | Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente | |
A NuSMV Extension for Graded-CTL Model Checking | 1-gen-2010 | Ferrante, Alessandro; Maurizio, Memoli; Margherita, Napoli; Mimmo, Parente; Francesco, Sorrentino |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile