Suche

Correct Execution of Reconfiguration for Stateful Components

Moritz Hammer, Alexander Knapp

In: Carlos Canal, Corina Pasareanu (Hgg.). Proc. 5th Int. Wsh. Formal Aspects of Component Software (FACS'08). Electr. Notes Theo. Comp. Sci. 260, 2010. S. 125-153.


Links: