STL applications: Testing, Falsification and parameter synthesis
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 14-STL_applications_fals_param.pdf