![](/img/cover-not-exists.png)
Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements
Aceituna, Daniel, Do, HyunsookLanguage:
english
Journal:
Requirements Engineering
DOI:
10.1007/s00766-017-0281-y
Date:
September, 2017
File:
PDF, 2.39 MB
english, 2017