Dependable System Laboratory
Graduate School of Information Science
Nara Institute of Science and Technology
