Terms for subject General containing Software Specification

English	French
automated transformation of formal specifications into silicon/software	implantation automatique dans du matériel/logiciel firmware de spécifications formelles