- Tytuł:
- Modelling CTMC with a standard programming language and using conventions from computer networking
- Autorzy:
-
Rataj, A.
Nowak, M.
Pecka, P. - Data publikacji:
- 2011
- Słowa kluczowe:
-
Markov chain
continuous time
model checking
Java - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł