From system specifications to component behavioral models.

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic

Browse the full ICSE paper archive.