Toward automation for model-checking requirements specifications with numeric constraints
- Yunja Choi
- , Sanjai Rayadurgam
- , Mats Heimdahl
Research output: Contribution to journal › Article › peer-review
6
Link opens in a new tab
Scopus
citations