A Method for Verifying Properties of Modechart Specifications.

Farnam Jahanian, Douglas A. Stuart

Browse the full RTSS paper archive.