Dictionnaire français - anglais

communication - iate.europa.eu
Potential synergies of theorem proving and model checking for software product lines... For the first time, we combine theorem proving and model check-ing to evaluate their synergies for product-line verification....
informatique et traitement des données / construction européenne / information et traitement de l'information - core.ac.uk - PDF: wwwiti.cs.uni-magdeburg.de

Publications scientifiques

On-line verification for signatures of different sizesA great number of studies concerning on-line verification systems have been conducted by researchers in the last years....
prix / informatique et traitement des données - core.ac.uk - PDF: hal.archives-ouvertes.fr
Xflab: on-line verification tool for fuzzy controllersThis paper shows an on-line verification tool for fuzzy controllers....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Xflab: an on-line verification tool for fuzzy controllersThis paper shows an on-line verification tool for fuzzy controllers....
général - core.ac.uk - PDF: core.ac.uk
Xflab: an on-line verification tool for fuzzy controllers... This paper shows an on-line verification tool for fuzzy controllers....
général - core.ac.uk - PDF: digital.csic.es


1 milliard de traductions classées par domaine d'activité en 28 langues