Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Nakayama, Toshihiro
add a person with the name Nakayama, Toshihiro
 

Other publications of authors with the same name

Teaching formal methods in the context of software engineering., , , and . SIGCSE Bulletin, 41 (2): 17-23 (2009)Super-Resolution of Multiple Moving 3D Objects with Pixel-Based Registration., , , and . ACCV (3), volume 5996 of Lecture Notes in Computer Science, page 516-526. Springer, (2009)Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation., , , , , and . SoMeT, volume 217 of Frontiers in Artificial Intelligence and Applications, page 383-397. IOS Press, (2010)