Անցեք բովանդակությանը

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

Ընդլայնված

PARAM: A Model Checker for Par...

Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Մշտական հղում

PARAM: A Model Checker for Parametric Markov Models

PARAM: A Model Checker for Parametric Markov Models

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Hahn, E, Hermanns, H, Wachter, B, Zhang, L
Ձևաչափ:	Conference item
Հրապարակվել է:	2010

Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք

Նմանատիպ նյութեր

INFAMY: An Infinite−State Markov Model Checker
‌: Hahn, E, և այլն
Հրապարակվել է: (2009)
Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
‌: Hahn, E, և այլն
Հրապարակվել է: (2009)
Les Páramos d'Espagne et parame (Bretagne)
‌: Paul Quentel
Հրապարակվել է: (2013-06-01)
Surface street network simulation studies using TRANSYT and PARAMICS
‌: Ang, Sze Chan
Հրապարակվել է: (2008)
PASS: Abstraction Refinement for Infinite Probabilistic Models
‌: Hahn, E, և այլն
Հրապարակվել է: (2010)

Որոնման ընտրանքներ

Որոնման պատմություն
Ընդլայնված որոնում

Գտեք ավելին

Թերթիր քարտարանը
Թերթիր այբբենական կարգով
Ուսումնասիրեք ալիքները
Դասընթացի պահուստներ
Նոր նյութեր

Օգնության կարիք ունե՞ք։

Որոնման հնարքներ
Հարցրեք գրադարանավարին
FAQs