Active learning for extended finite state machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen. Active learning for extended finite state machines. Formal Asp. Comput., 28(2):233-263, 2016. [doi]

This author has not been identified. Look up 'Sofia Cassel' in GoogleThis author has not been identified. Look up 'Falk Howar' in GoogleThis author has not been identified. Look up 'Bengt Jonsson' in GoogleThis author has not been identified. It may be one of the following persons:

Bernhard Steffen

Look up 'Bernhard Steffen' in Google

runs on WebDSL