Author: Tatsuya Toyama
Publications
Publication period start: 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. https://doi.ieeecomputersociety.org/10.1109/RE.2005.63