Sfoglia per Rivista
Mostrati risultati da 1 a 2 di 2
A General 3D Model for Growth Dynamics of Sensory-Growth Systems: From Plants to Robotics
2020-01-01 Porat, Amir; Tedone, Fabio; Palladino, Michele; Marcati, Pierangelo; Meroz, Yasmine
Toward formal models and languages for verifiable multi-robot systems
2018-01-01 De Nicola, R; Di Stefano, L; Inverso, O
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A General 3D Model for Growth Dynamics of Sensory-Growth Systems: From Plants to Robotics | 1-gen-2020 | Porat, Amir; Tedone, Fabio; Palladino, Michele; Marcati, Pierangelo; Meroz, Yasmine | |
Toward formal models and languages for verifiable multi-robot systems | 1-gen-2018 | De Nicola, R; Di Stefano, L; Inverso, O |
Mostrati risultati da 1 a 2 di 2
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