Yoriyuki Yamagata

Senior Researcher, Software Analytics Research Group, Information Technology Rersearch Institute, AIST

Interests: formal methods, logic

Japanese »

New posts

Slides for RV2016

Runtime monitoring for concurrent systems

RV2016 slides