Showing 1 - 1 results of 1 for search 'FITNESS', query time: 0.31s Refine Results
  1. 1
    Compilation certifiée de SCADE/LUSTRE
    by Auger, Cédric
    Published 2013
    “... assembly, for which it was proven inside of the Coq proof assistant that the produced system fits its...”
    Get full text
Search Tools: Get RSS Feed — Email this Search