Verification Validation and Testing: passion and deployment challenges

Name: Verification Validation and Testing: passion and deployment challenges
Start: 2016-05-26T09:00:00+02:00
End: 2016-05-26T20:00:00+02:00
Location: CNR Area Ricerca Bologna

26 May 2016

CNR Area Ricerca Bologna

Europe/Rome timezone

Overview
Scientific Programme
Call for Abstracts
Timetable
Contribution List
Author List
Book of Abstracts

sara ricciardi

sara.ricciardi@iasfbo.inaf.it

Formal Requirements Modeling for Simulation-Based Verification

26 May 2016, 15:05

15m

CNR Area Ricerca Bologna

Via Gobetti 101 Bologna

Alfredo Garro (DIMES Universita' della Calabria)

There are no materials yet.

Verification Validation and Testing: passion and deployment challenges

sara ricciardi

Formal Requirements Modeling for Simulation-Based Verification

CNR Area Ricerca Bologna

Speaker

Primary author

Presentation materials

Choose timezone

Verification Validation and Testing: passion and deployment challenges

sara ricciardi

Speaker

Primary author

Presentation materials