diplomsko delo visokošolskega študija
Mirjam Sepesy Maučec (Author), Tatjana Kapus (Mentor)

Abstract

Verifikacija porazdeljenih sistemov z uporabo binarnih odločitvenih grafov : diplomsko delo visokošolskega študija

Keywords

porazdeljeni sistemi;verifikacija;procesna algebra;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: [M. Sepešy]
UDC: 681.3:512:519.68
COBISS: 1950486 Link will open in a new window
Views: 2587
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
URN: URN:SI:UM:
Type (COBISS): Undergraduate thesis
Pages: XVI, 120 f.
ID: 8714395