![]() |
SES |
![]() |
AProVE Help System → User Interface → Graphical User Interface → Selecting Options → User Defined → | SES |
In Addition to the common items(2) the user is able to configure the evaluation strategy(1) for the input type SES. A description of the techniques available can be found in the corresponding techniques chapter.