Browsing by Author "Kramer, Jeff"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Elaborating Requirements Using Model Checking and Inductive Learning(Institute of electrical and electronics engineers, 2013) Alrajeh, Dalal; Kramer, Jeff; Russo, Alessandra