Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Research Ideas FMICS-AVoCS 2016

Subjects: Formal Methods; Critical Systems; Automated Verification Techniques

  • Source: Research Ideas FMICS-AVoCS 2016 (ISTI-CNR, Pisa, Italy, 26-28 September 2016), Technical report, 2016.

Record details

×
  • 1-10 of  169 results for ""model""