共 50 条
[4]
Plug-and-play nondeterminacy
[J].
B 2007: Formal Specification and Development in B, Proceedings,
2007, 4355
:289-292
[9]
Plug-and-play features
[J].
FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS V,
1998,
:150-164