Sachbegriff |
Kripke-Struktur |
|---|---|
Definition |
Bei Kripke-Strukturen handelt es sich um einen im Kontext des Model Checking verbreiteten Formalismus zur Beschreibung von Systemmodellen. (http://www.software-kompetenz.de) |
Synonym |
Kripke-Rahmen |
Beziehung |
Modallogik (verwandter Begriff) |
Themengebiet |
|
Quelle |
Enc. math. (unter Modal Logic) |
Datensatztyp |
Sachbegriff |
GND-Nummer |
7550171-5 |
Datensatz-ID |
981971091 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: