Department / Course College of Information Science and Engineering Department of Information Science and Engineering
Title / Position Professor
Language English
Publication Date 2005/09
Type Research paper (international conference proceedings)
Peer Review Yes
Title Rule-based Verification of Scenarios with Pre-conditions and Post-conditions
Contribution Type Joint Work
Journal Proc. 13th Requirements Engineering conference (RE'05)(IEEE Computer Society)
Volume, Issue, Page 319-328
Author and coauthor Tatsuya Toyama, Atsushi Ohnishi