scientific article; zbMATH DE number 6930546

zbMath1395.94355MaRDI QIDQ4583845

Naofumi Homma, Rei Ueno, Takafumi Aoki

Publication date: 3 September 2018

Full work available at URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-26-number-1-2-2016/mvlsc-26-1-2-p-55-73/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computer algebraformal verificationReed-Solomon codepredicate logicGalois fielddesign methodology for arithmetic circuits

Mathematics Subject Classification ID

Cryptography (94A60) Combinatorial codes (94B25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: