Sciweavers

3898 search results - page 24 / 780
» Maintaining Component-Based Systems
Sort
View
104
Voted
CBSE
2008
Springer
15 years 4 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná
OPODIS
2004
15 years 3 months ago
A UNITY-Based Framework Towards Component Based Systems
I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, ...
ENTCS
2008
102views more  ENTCS 2008»
15 years 2 months ago
A Case Study in Parallel Verification of Component-Based Systems
Nikola Benes, Ivana Cerná, Jiri Sochor, Pav...