HIGHLIGHTS
- who: Khaled El-Fakih from the American University of Sharjah, PO. have published the article: Distinguishing extended finite state machine configurations using predicate abstraction, in the Journal: (JOURNAL)
- what: In this paper a method is proposed for the derivation of a sequence for two explicitly given or symbolically represented possibly infinite sets of EFSM configurations using a corresponding FSM ion that is derived based on sets of predicates and parameterized inputs. Opposed to the work presented in this paper, the above listed approaches for distinguishing EFFSM configurations are based on deriving product machine(s) and . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.