Author: Tatsuya Toyama
Publication Overview
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