MODEL-BASED VERIFICATION
OF DYNAMIC SYSTEM BEHAVIOR
AGAINST REQUIREMENTS
Wladimir Schamai
Linköping Studies in Science and Technology. Dissertations. No 1547
Linköping Studies in Science and Technology. Dissertations. No 1547, 2013
Department of Computer and Information Science Linköping University
SE-581 83 Linköping, Sweden www.liu.se