- Tytuł:
-
Modelling CTMC with a standard programming language and using conventions from computer networking
Modelowanie łańcuchów Markowa z czasem ciągłym przy użyciu standardowego języka programowania i z zastosowaniem konwencji z dziedziny sieci komputerowych - Autorzy:
-
Rataj, A.
Nowak, M.
Pecka, P. - Data publikacji:
- 2011
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
Markov chain
continuous time
model checking
Java - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł