A Formal Framework for Component Pr otocols Behavioural Compatibility.

Autor: Hameurlain, N.
Zdroj: 2006 13th Asia Pacific Software Engineering Conference (APSEC'06); 2006, p87-94, 8p
Databáze: Complementary Index