Verification Validation and Testing: passion and deployment challenges

Details for Alfredo Garro

Affiliation: DIMES Universita' della Calabria

Author in the following contribution

• Formal Requirements Modeling for Simulation-Based Verification