E-LIB Suche - Ergebnisse für: Laura Trentini

1

The 4SECURail Case Study on Rigorous Standard Interface Spe..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Belli, Dimitri ; Fantechi, Alessandro ; Gnesi, Stefania... - p. 22-39 , 2023

Link: https://doi.org/10.1007/..

2

Reference Table Formal Methods and Cost-Benefit Analysis:

Stefania Gnesi ; Franco Mazzanti ; Alessandro Fantechi...
doi:10.5281/zenodo.8174265. , 2023

Link: https://zenodo.org/recor..

3

A Novel Bias Correction Method for Extreme Events:

Trentini, Laura ; Dal Gesso, Sara ; Venturini, Marco...
Climate. 11 (2022) 1 - p. 3 , 2022

Link: https://doi.org/10.3390/..

4

The 4SECURail approach to formalizing standard interfaces b..:

Belli, Dimitri ; Fantechi, Alessandro ; Gnesi, Stefania...
info:eu-repo/grantAgreement/EC/H2020/881775/. , 2022

Link: https://zenodo.org/recor..

5

Relazione finale Progetto Torino Fast Track City:

Valerio Brescia ; Massimo Scavia ; Laura Trentini...
doi:10.5281/zenodo.7527477. , 2022

Link: https://zenodo.org/recor..

6

A Novel Bias Correction Method for Extreme Events:

Laura Trentini ; Sara Dal Gesso ; Marco Venturini...
https://www.mdpi.com/2225-1154/11/1/3. , 2022

Link: https://doi.org/10.3390/..

7

A Novel Bias Correction Method for Extreme Events:

Laura Trentini ; Sara Dal Gesso ; Marco Venturini...
Weather, Events and Impacts. , 2022

Link: https://doi.org/10.3390/..

8

Attività di testing rapido HIV al Pride di Torino per deter..:

Valerio Brescia ; Massimo Scavia ; Laura Trentini...
volume:1. , 2022

Link: http://hdl.handle.net/23..

9

Attività di testing rapido HIV al Pride di Torino per deter..:

Valerio Brescia ; Massimo Scavia ; Laura Trentini...
volume:1. , 2022

Link: http://hdl.handle.net/10..

10

The 4SECURail approach to formalizing standard interfaces b..:

Belli, Dimitri ; Fantechi, Alessandro ; Gnesi, Stefania...
info:eu-repo/grantAgreement/EC/H2020/881775/. , 2022

Link: https://zenodo.org/recor..

11

Attività di testing rapido HIV al Pride di Torino per deter..:

Valerio Brescia ; Massimo Scavia ; Laura Trentini...
doi:10.5281/zenodo.7123937. , 2022

Link: https://zenodo.org/recor..

12

Elicitation of phenylpropanoids in maqui (Aristotelia chile..:

Trentini, Giulia E. ; Rojas, Makarena ; Gajardo, Daniela...
Plant Cell, Tissue and Organ Culture (PCTOC). 146 (2021) 3 - p. 607-619 , 2021

Link: https://doi.org/10.1007/..

13

Medication burden and clustering in people living with HIV ..:

Calcagno, Andrea ; de Nicolò, Amedeo ; Pizzi, Costanza...
British Journal of Clinical Pharmacology. 87 (2021) 11 - p. 4432-4438 , 2021

Link: https://doi.org/10.1111/..

14

Medication Burden and Clustering in People Living with HIV ..:

Calcagno, Andrea ; de Nicolò, Amedeo ; Pizzi, Costanza...
info:eu-repo/semantics/altIdentifier/pmid/33890312. , 2021

Link: http://hdl.handle.net/23..

15

Designing a Demonstrator of Formal Methods for Railways Inf..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,

Basile, Davide ; ter Beek, Maurice H. ; Fantechi, Alessandro... - p. 467-485 , 2020

Link: https://doi.org/10.1007/..