- Tytuł:
-
Concurrent systems modeling with CCL
Modelowanie systemu w CCL - Autorzy:
- Kułakowski, K.
- Tematy:
-
CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem - Pokaż więcej
- Data publikacji:
- 2012
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Dostawca treści:
- Biblioteka Nauki
Artykuł