Synthesizing partial component-level behavior models from system specifications

Open Webpage

Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic

Published: 2009, Last Modified: 15 Dec 2025ESEC/SIGSOFT FSE 2009EveryoneRevisionsBibTeXCC BY-SA 4.0