Concepedia

Author

Toshikazu Tanaka

Toshiba (Japan)

Also Known As

TOSHIKAZU TANAKA, Toshikazu TANAKA, Toshikazu Tanaka

9

Publications

24

Citations

3

H-Index

7

Concepts

All Affiliations

Toshiba (Japan)
TT

About

Toshikazu Tanaka is an author at Toshiba (Japan) specializing in verification, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

10

2

Computer Science

1

1

10

3

Software Testing

1

1

10

4

Automated Reasoning

1

1

10

5

Formal Methods

1

1

10

Toshikazu Tanaka

×

1

Publications

10

Citations

1

H-Index

YearCitations

Page 1