Title

i*ToNuSMV: A Prototype for Enabling Model Checking of i* Models

RIS ID

111566

Publication Details

Deb, N., Chaki, N. & Ghose, A. (2016). i*ToNuSMV: A Prototype for Enabling Model Checking of i* Models. 2016 IEEE 24th International Requirements Engineering Conference (RE) (pp. 397-398). United States: IEEE Xplore.

Please refer to publisher version or contact your library.

Share

COinS
 

Link to publisher version (DOI)

http://dx.doi.org/10.1109/RE.2016.62