Sangiovanni Vincentelli, Alberto
Sangiovanni Vincentelli, Alberto
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures | 1-gen-2024 | Kirov, DmitriiSangiovanni-Vincentelli, AlbertoPasserone, Roberto + |