Concepedia

Osamu Okuzawa

OO

Statistics

Publications

2

Citations

33

H-Index

2

Active since

1986

Affiliations

University of Science and Technology of China(Current)

Osamu Okuzawa is an author at University of Science and Technology of China specializing in formal methods, engineering, and verification.

Top concepts

EngineeringFuzzy LogicVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationLogic DesignCircuit DesignSoftware Testing

Publications per year

1986–1986

2

Publications

2

A Logic Verifier Based on Boolean Comparison

Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa et al. · Design Automation Conference · 1986 · 21 citations

Applied Logic, Engineering, Boolean Function +20

A logic verifier based on Boolean comparison

Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa et al. · Proceedings of the 23rd ACM/IEEE conference on Design automation - DAC '86 · 1986 · 12 citations

Applied Logic, Logic Synthesis, Fuzzy Logic +8

1–2 of 2