Sfoglia per Serie
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Runtime Verification with Rational Multi-Monitors | 1-gen-2025 | Catta, Davide; Ferrando, Angelo; Malvone, Vadim | |
| The influence of noise on the dynamics of random boolean networks | 1-gen-2009 | Barbieri, Alessia; Villani, Marco; Serra, Roberto; S. A., Kauffman; A., Colacci |
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