Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
1990-01-01 Inverardi, Paola; De Nicola, Rocco; Nesi, Monica
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
1990-01-01 DE NICOLA, R; Inverardi, Paola; Nesi, Monica
Using UML for SA-based Modeling and Analysis
2004-01-01 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Utilisation de la theorie de l' information pour une etude quantitative de l'ambiguite en lecture labiale
1981-01-01 DI BENEDETTO, MARIA DOMENICA; F., Destombes; J. P., Tubach
UWB and mmWaves Communication Techniques and Systems for Healthcare
2014-01-01 Rendevski, N; Cassioli, Dajana
UWB Channel Sounding and Modelling in Outdoor Scenarios
2005-01-01 Di Renzo, M; Graziosi, Fabio; Santucci, Fortunato; Minutolo, R; Montanari, M.
UWB communication signals coupling to wires
2004-01-01 Buccella, Concettina; Feliziani, Mauro; Manzi, G.
UWB Detection of a Scattering Object inside a Non-Homogeneous Region
2008-01-01 Buccella, Concettina; DE SANTIS, Valerio; Feliziani, Mauro
UWB Moves up to mmWaves: A channel modeling perspective
2011-01-01 Cassioli, Dajana
UWB propagation channels
2006-01-01 Molisch, A. F.; Kunisch, J.; Qiu, R. D; Cassioli, Dajana; Buehrer, M.; Pendergrass, M.; Kovács, I. Z.; Pedersen, G. F.; Eggers, P. C. F.; Roy, S.; Ramachandran, I.
UWB Propagation Measurements by PN-Sequence Channel Sounding
2004-01-01 Durantini, A; Ciccognani, W; Cassioli, Dajana
An UWB-enhanced identification procedure for large-scale passive RFID systems
2014-01-01 Di Marco, P; Alesii, R; Santucci, Fortunato; Fischione, C.; DI MARCO, Piergiuseppe
V Band Receiver for Future High Throughput Satellite
2015-01-01 Vitulli, Francesco; Suriani, Andrea; Ranieri, Paolo; Pantoli, Leonardo; Leuzzi, Giorgio; Apollonio, Daniela; Scappaviva, Francesco; Cavanna, Tommaso; Arena, Sergio
V-band low-noise amplifier module for high throughput satellite applications
2018-01-01 Pantoli, L.; Barigelli, A.; Leuzzi, G.; Vitulli, F.; Suriani, A.
V-matrices over a topos
1988-01-01 Gavioli, Norberto
V2I Cooperation for Traffic Management with SafeCop
2016-01-01 Agosta, Giovanni; Barenghi, Alessandro; Brandolese, Carlo; Fornaciari, William; Pelosi, Gerardo; Delucchi, Stefano; Massa, Massimo; Mongelli, Maurizio; Ferrari, Enrico; Napoletani, Leonardo; Bozzi, Luciano; Tieri, Carlo; Cassioli, Dajana; Pomante, Luigi
V2X Communication Technologies and Service Requirements for Connected and Autonomous Driving
2020-01-01 Cinque, Elena; Valentini, Francesco; Persia, Arianna; Chiocchio, Sandro; Santucci, Fortunato; Pratesi, Marco
Validation of the Italian Remote Associate Test
2020-01-01 Salvi, C.; Costantini, G.; Pace, A.; Palmiero, M.
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security
2020-01-01 Barbosa, R.; Basagiannis, ; S., and Giantamidis; G., Becker; H., Ferrari; E., Jahic; J., Kanak; A., Esnaola; M. L., Orani; V., Pereira; Pomante, L.; Schlick, R.; Smrcka, A.; Yazici, A.; Folkesson, P.; Sangchoolie, B.
Value-Passing CCS in HOL
1994-01-01 Nesi, Monica
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications | 1-gen-1990 | Inverardi, Paola; De Nicola, Rocco; Nesi, Monica | |
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications | 1-gen-1990 | DE NICOLA, R; Inverardi, Paola; Nesi, Monica | |
Using UML for SA-based Modeling and Analysis | 1-gen-2004 | Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio | |
Utilisation de la theorie de l' information pour une etude quantitative de l'ambiguite en lecture labiale | 1-gen-1981 | DI BENEDETTO, MARIA DOMENICA; F., Destombes; J. P., Tubach | |
UWB and mmWaves Communication Techniques and Systems for Healthcare | 1-gen-2014 | Rendevski, N; Cassioli, Dajana | |
UWB Channel Sounding and Modelling in Outdoor Scenarios | 1-gen-2005 | Di Renzo, M; Graziosi, Fabio; Santucci, Fortunato; Minutolo, R; Montanari, M. | |
UWB communication signals coupling to wires | 1-gen-2004 | Buccella, Concettina; Feliziani, Mauro; Manzi, G. | |
UWB Detection of a Scattering Object inside a Non-Homogeneous Region | 1-gen-2008 | Buccella, Concettina; DE SANTIS, Valerio; Feliziani, Mauro | |
UWB Moves up to mmWaves: A channel modeling perspective | 1-gen-2011 | Cassioli, Dajana | |
UWB propagation channels | 1-gen-2006 | Molisch, A. F.; Kunisch, J.; Qiu, R. D; Cassioli, Dajana; Buehrer, M.; Pendergrass, M.; Kovács, I. Z.; Pedersen, G. F.; Eggers, P. C. F.; Roy, S.; Ramachandran, I. | |
UWB Propagation Measurements by PN-Sequence Channel Sounding | 1-gen-2004 | Durantini, A; Ciccognani, W; Cassioli, Dajana | |
An UWB-enhanced identification procedure for large-scale passive RFID systems | 1-gen-2014 | Di Marco, P; Alesii, R; Santucci, Fortunato; Fischione, C.; DI MARCO, Piergiuseppe | |
V Band Receiver for Future High Throughput Satellite | 1-gen-2015 | Vitulli, Francesco; Suriani, Andrea; Ranieri, Paolo; Pantoli, Leonardo; Leuzzi, Giorgio; Apollonio, Daniela; Scappaviva, Francesco; Cavanna, Tommaso; Arena, Sergio | |
V-band low-noise amplifier module for high throughput satellite applications | 1-gen-2018 | Pantoli, L.; Barigelli, A.; Leuzzi, G.; Vitulli, F.; Suriani, A. | |
V-matrices over a topos | 1-gen-1988 | Gavioli, Norberto | |
V2I Cooperation for Traffic Management with SafeCop | 1-gen-2016 | Agosta, Giovanni; Barenghi, Alessandro; Brandolese, Carlo; Fornaciari, William; Pelosi, Gerardo; Delucchi, Stefano; Massa, Massimo; Mongelli, Maurizio; Ferrari, Enrico; Napoletani, Leonardo; Bozzi, Luciano; Tieri, Carlo; Cassioli, Dajana; Pomante, Luigi | |
V2X Communication Technologies and Service Requirements for Connected and Autonomous Driving | 1-gen-2020 | Cinque, Elena; Valentini, Francesco; Persia, Arianna; Chiocchio, Sandro; Santucci, Fortunato; Pratesi, Marco | |
Validation of the Italian Remote Associate Test | 1-gen-2020 | Salvi, C.; Costantini, G.; Pace, A.; Palmiero, M. | |
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security | 1-gen-2020 | Barbosa, R.; Basagiannis, ; S., and Giantamidis; G., Becker; H., Ferrari; E., Jahic; J., Kanak; A., Esnaola; M. L., Orani; V., Pereira; Pomante, L.; Schlick, R.; Smrcka, A.; Yazici, A.; Folkesson, P.; Sangchoolie, B. | |
Value-Passing CCS in HOL | 1-gen-1994 | Nesi, Monica |
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