학술논문

Active learning of interface programs
Document Type
Text
Source
Subject
Informatik
automata learning
extended finite state machines
interface synthesis
register automata
register mealy machines
regular inference
Computer Science
interface
Language
English
Abstract
Dortmund, Technische Universität, Diss., 2012