• A
  • A
  • A
日本語 Help
Free Information Search Service provided by JST
Rchr
J-GLOBAL ID:200901079613156805   Update date: Jul. 06, 2024

Tanaka Akira

タナカ アキラ | Tanaka Akira
Affiliation and department:
Homepage URL  (1): http://www.a-k-r.org/pub/
Research field  (1): Software
Research theme for competitive and other funds  (3):
  • 2024 - 2027 Formal verification methods for trustworthy statistics
  • 2015 - 2018 Towards formal verification of big data processing
  • 2000 - 2003 Secure Construction Methods for Extensible and Adaptable Software
Papers (6):
more...
MISC (7):
more...
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page