Model_Checking%CE%88%CE%BB%CE%B5%CE%B3%CF%87%CE%BF%CF%82_%CE%BC%CE%BF%CE%BD%CF%84%CE%AD%CE%BB%CF%89%CE%BDModel_checkingVerificaci%C3%B3n_de_modelos%D9%88%D8%A7%D8%B1%D8%B3%DB%8C_%D9%85%D8%AF%D9%84V%C3%A9rification_de_mod%C3%A8lesModel_checking%E3%83%A2%E3%83%87%E3%83%AB%E6%A4%9C%E6%9F%BBModeli%C5%B3_tikrinimasVerifica%C3%A7%C3%A3o_de_modelos%D0%9F%D1%80%D0%BE%D0%B2%D0%B5%D1%80%D0%BA%D0%B0_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B5%D0%B9Overovanie_modelovModel_kontrol%C3%BC%D0%9F%D0%B5%D1%80%D0%B5%D0%B2%D1%96%D1%80%D0%BA%D0%B0_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D1%96Model_checkingQ1569697
about
Q17072293-35BA8DCD-1C73-48AA-8BE4-D1AF2CEAC11CQ3441191-E36D303C-5681-4510-8DB8-BA8978962D6AQ5164442-0185DA44-CEBC-4075-8807-F1A4E519BFBBQ6540472-270184DC-A495-4704-8300-3BCD0F579E07Q7118286-2549BAFD-705E-4EF8-ADFE-99F411ED4324Q7669325-47DC7B14-FEAC-4226-B506-44F11BB3BC8DQ7898420-CFDF3E4B-9AEF-43D9-B578-1FDD85E71765Q959513-e099e464-4b0f-9c46-e919-1e4f56a37480
P366
description
Verifikation einer Systembeschreibung gegen eine Spezifikation
@de
name
Model Checking
@de
Model checking
@en
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
type
label
Model Checking
@de
Model checking
@en
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
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
prefLabel
Model Checking
@de
Model checking
@en
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
P6366
P646
P3417
Model-Checking
P373
Model checking (computer science)