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

Povzetek

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

Ključne besede

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

Podatki

Jezik: Slovenski jezik
Leto izida:
Tipologija: 2.11 - Diplomsko delo
Organizacija: UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Založnik: [A. Časar]
UDK: 681.32:519.714:519.17
COBISS: 1821718 Povezava se bo odprla v novem oknu
Št. ogledov: 2358
Št. prenosov: 0
Ocena: 0 (0 glasov)
Metapodatki: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Ostali podatki

Sekundarni jezik: Angleški jezik
Sekundarni naslov: Symbolic state space traversal of finite state automata.
URN: URN:SI:UM:
Vrsta dela (COBISS): Diplomsko delo
Strani: XVIII, 95 str.
ID: 8714515