Tatsuya Toyama

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2005
Publication period end
2005
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Toyama, Tatsuya, Ohnishi, Atsushi (2005): Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. In: 13th IEEE International Conference on Requirements Engineering RE 2005 29 August - 2 September, 2005, Paris, France. pp. 319-328. http://doi.ieeecomputersociety.org/10.1109/RE.2005.63