DMCA

Correctness of model-based component composition without state explosion (2003)

by Paul C. Attie , David H. Lorenz
Venue:IN: ECOOP 2003 WORKSHOP ON CORRECTNESS OF MODELBASED SOFTWARE COMPOSITION
Citations:3 - 1 self