Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis - Modeling languages - Document - PDFSEARCH.IO

First Page	Meta Content
	Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis Add to Reading List Document Date: 2012-12-20 13:12:46 Open Document File Size: 4,65 MB Share Result on Facebook

Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample AnalysisAdd to Reading List