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): MISC (7): Return to Previous Page