- 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
- Dostawca treści:
- Biblioteka Nauki