Concepedia

Author

Yoshiki Takashima

Ames Research CenterORCID

Also Known As

Takashima, Yoshiki, Yoshiki Takashima

7

Publications

52

Citations

2

H-Index

17

Concepts

All Affiliations

Ames Research Center
YT

About

Yoshiki Takashima is an author at Ames Research Center specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

45

2

Computer Science

2

2

45

3

Computer Engineering

1

1

18

4

Systems Engineering

1

1

27

5

Computer Architecture

1

1

18

Yoshiki Takashima

×

2

Publications

45

Citations

2

H-Index

YearCitations

Page 1