Search results for: Kenji Taguchi
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Application of Formal Methods > 318-337
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 144-155
Formal Aspects of Computing > 2014 > 26 > 5 > 943-962
Microwave and Optical Technology Letters > 55 > 9 > 2182 - 2186