Sciweavers

36 search results - page 8 / 8
» iee 2008
Sort
View
IEE
2008
117views more  IEE 2008»
13 years 10 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...