Design and verification of logical models

DOI10.1023/B:AURC.0000030909.45643.3AzbMath1077.94527OpenAlexW2021548886MaRDI QIDQ2487689

V. D. Malyugin

Publication date: 8 August 2005

Published in: Automation and Remote Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:aurc.0000030909.45643.3a

zbMATH Keywords

Verification methodslogical function

Mathematics Subject Classification ID

Related Items (2)

On the structure of symmetry groups of Vasil'ev codes ⋮ On the construction of transitive codes

This page was built for publication: Design and verification of logical models