Attributes | Values |
---|
rdf:type
| |
owl:sameAs
| |
description
| - verifikasjon av hvorvidt en endelig tilstandsmaskin tilfredsstiller en gitt spesifikasjon (nb)
- Verifikation einer Systembeschreibung gegen eine Spezifikation (de)
- verifying whether a finite-state model meets a given specification (en)
|
rdfs:label
| - Model Checking (de)
- Model checking (es)
- Model checking (fr)
- Model checking (it)
- Model checking (vi)
- Model kontrolü (tr)
- Modelių tikrinimas (lt)
- Overovanie modelov (sk)
- Verificação de modelos (pt)
- model checking (en)
- modellsjekking (nb)
- modellsjekking (nn)
- Έλεγχος μοντέλων (el)
- Перевірка моделі (uk)
- Проверка моделей (ru)
- وارسی مدل (fa)
- モデル検査 (ja)
- 模型检查 (zh-hans)
- 模型检测 (zh)
- 模型检测 (zh-cn)
- 모델체크 (ko)
|
skos:prefLabel
| - Model Checking (de)
- Model checking (es)
- Model checking (fr)
- Model checking (it)
- Model checking (vi)
- Model kontrolü (tr)
- Modelių tikrinimas (lt)
- Overovanie modelov (sk)
- Verificação de modelos (pt)
- model checking (en)
- modellsjekking (nb)
- modellsjekking (nn)
- Έλεγχος μοντέλων (el)
- Перевірка моделі (uk)
- Проверка моделей (ru)
- وارسی مدل (fa)
- モデル検査 (ja)
- 模型检查 (zh-hans)
- 模型检测 (zh)
- 模型检测 (zh-cn)
- 모델체크 (ko)
|
name
| - Model Checking (de)
- Model checking (es)
- Model checking (fr)
- Model checking (it)
- Model checking (vi)
- Model kontrolü (tr)
- Modelių tikrinimas (lt)
- Overovanie modelov (sk)
- Verificação de modelos (pt)
- model checking (en)
- modellsjekking (nb)
- modellsjekking (nn)
- Έλεγχος μοντέλων (el)
- Перевірка моделі (uk)
- Проверка моделей (ru)
- وارسی مدل (fa)
- モデル検査 (ja)
- 模型检查 (zh-hans)
- 模型检测 (zh)
- 模型检测 (zh-cn)
- 모델체크 (ko)
|
Freebase ID
| |
Freebase ID
| |
subclass of
| |
subclass of
| |
Dictionary of Algo...ata Structures ID
| |
Dictionary of Algo...ata Structures ID
| |
Commons category
| |
Commons category
| - Model checking (computer science)
|
skos:altLabel
| - Model Checking (pt)
- Model checking (sk)
- Model-checking (sk)
- Modelchecking (de)
- Modelio patikrinimas (lt)
- Modellprüfer (de)
- Modellprüfung (de)
- Modellprüfverfahren (de)
- Verificação de Modelo (pt)
- Έλεγχος μοντέλου (el)
- 模型检查 (zh)
- 模型檢查 (zh)
|
OpenAlex ID
| |
Quora topic ID
| |
Microsoft Academic ID
| |
topic's main category
| |
Microsoft Academic ID
| |
OpenAlex ID
| |
Quora topic ID
| |
Microsoft Academic ID
| |
topic's main category
| |
is field of work
of | |
is field of work
of | |
is about
of | |