SMT-Based Consistency Checking of Configuration-Based Components Specifications von Pandolfo, Laura, Pulina, Luca, Vuotto, Simone

Volltext

Property specification patterns at work: verification and inconsistency explanation von Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone

Volltext

Automated Requirements-Based Testing of Black-Box Reactive Systems von Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone

Volltext

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals von Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone

Volltext

Consistency Checking of Functional Requirements von Vuotto, Simone

Volltext bestellen

Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots von Leofante, Francesco, Vuotto, Simone, Ábrahám, Erika, Tacchella, Armando, Jansen, Nils

Volltext

Consistency Checking of Functional Requirements von Vuotto, Simone

Volltext

Automated Requirements-Based Testing of Black-Box Reactive Systems von Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone

Volltext bestellen

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals von Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone

Volltext bestellen

Automated Requirements-Based Testing of Black-Box Reactive Systems von Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone

Volltext

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals von Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone

Volltext

Studies on the Inhibitory Effects of Caffeoylquinic Acids on Monocyte Migration and Superoxide Ion Production von Peluso, Gianfranco, De Feo, Vincenzo, De Simone, Francesco, Bresciano, Elio, Vuotto, Maria Luisa

Volltext