diplomsko delo
Aleš Časar (Author), Zmago Brezočnik (Mentor)

Abstract

Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov : diplomsko delo

Keywords

logična funkcija;končni avtomati;prehajalna funkcija;prehajalna relacija;karakteristična funkcija;CTL formule;binarni odločitveni grafi;

Data

Language: Slovenian
Year of publishing:
Typology: 2.11 - Undergraduate Thesis
Organization: UM FERI - Faculty of Electrical Engineering and Computer Science
Publisher: [A. Časar]
UDC: 681.32:519.714:519.17
COBISS: 1821718 Link will open in a new window
Views: 2358
Downloads: 0
Average score: 0 (0 votes)
Metadata: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Other data

Secondary language: English
Secondary title: Symbolic state space traversal of finite state automata.
URN: URN:SI:UM:
Type (COBISS): Undergraduate thesis
Pages: XVIII, 95 str.
ID: 8714515