Sfoglia per Rivista ACM SIGPLAN NOTICES
Mostrati risultati da 1 a 3 di 3
A tool for simulation and fast prototyping of embedded control systems
2001-01-01 L., Palopoli; Lipari, Giuseppe; Abeni, Luca; DI NATALE, Marco; Ancilotti, Paolo; F., Conticelli
A Tool for Simulation and Fast Prototyping of Embedded Control Systems
2001-01-01 Luigi, Palopoli; Lipari, Giuseppe; Abeni, Luca; DI NATALE, Marco; Ancilotti, Paolo; Fabio, Conticelli
Symbolic computation of differential equivalences
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A tool for simulation and fast prototyping of embedded control systems | 1-gen-2001 | L., Palopoli; Lipari, Giuseppe; Abeni, Luca; DI NATALE, Marco; Ancilotti, Paolo; F., Conticelli | |
A Tool for Simulation and Fast Prototyping of Embedded Control Systems | 1-gen-2001 | Luigi, Palopoli; Lipari, Giuseppe; Abeni, Luca; DI NATALE, Marco; Ancilotti, Paolo; Fabio, Conticelli | |
Symbolic computation of differential equivalences | 1-gen-2016 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A |
Mostrati risultati da 1 a 3 di 3
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