2010 article

順序回路の形式的検証におけるフォールスネガティブ削減のための回路変換(システム設計・高位論理設計,システムオンシリコンを支える設計技術)

紀博尾野, 一博中村, 一義高木, 直史高木

0Citations signalées — pas une note de qualité

0Institutions déclarées

0Pays d’affiliation déclarés

Résumé indisponible : les résultats de l’étude ne doivent pas être déduits depuis son seul titre.

Contrôle bibliographique ouvert

Aucun DOI disponible pour le contrôle Crossref.

Sujets associés

Military Technology and StrategiesLegal and Regulatory AnalysisLinguistic, Cultural, and Literary Studies

Consulter la publication primaire

BNTIC News n’est pas le producteur de ces données. Recherche à la demande dans Crossref, OpenAIRE, DOAJ, Europe PMC, HAL, DataCite, ROR et la Banque mondiale, sans clé ; OpenAlex reste optionnel. Aucun service payant requis, aucune donnée externe enregistrée en base. Sources et limites.