- Tytuł:
- Component Composition Validation
- Autorzy:
-
Speck, A.
Pulvermuller, E.
Jerger, M.
Franczyk, B. - Data publikacji:
- 2002
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
informatyka
composition verification
component composition
feature interaction
model checking - Pokaż więcej
- Źródło:
-
International Journal of Applied Mathematics and Computer Science; 2002, 12, 4; 581-589
1641-876X
2083-8492 - Dostawca treści:
- Biblioteka Nauki
Artykuł