Details

Generalizing treshold automata for reachability in parameterized systems : masterʼs thesis
ID Kukovec, Jure (Author), ID Bauer, Andrej (Mentor) More about this mentor... This link opens in a new window, ID Konnov, Igor (Comentor)

.pdfPDF - Presentation file, Download (398,82 KB)
MD5: 2628B0B30DA87F70395E78994CE286E6
PID: 20.500.12556/rul/9d86749f-fbc2-438a-bfad-2604b3b1b235

Language:English
Keywords:treshold automata, fault tolerant distributed algorithms, model checking
Work type:Master's thesis/paper
Typology:2.09 - Master's Thesis
Organization:FMF - Faculty of Mathematics and Physics
Place of publishing:Ljubljana
Publisher:[J. Kukovec]
Year:2016
Number of pages:[57] str.
PID:20.500.12556/RUL-97312 This link opens in a new window
UDC:004.42
COBISS.SI-ID:17768025 This link opens in a new window
Publication date in RUL:24.10.2017
Views:1847
Downloads:396
Metadata:XML DC-XML DC-RDF
:
Copy citation
Share:Bookmark and Share

Secondary language

Language:Slovenian
Title:Posplošitev pragovnih avtomatov za dosegljivost v parametriziranih sistemih
Keywords:pragovni avtomati, distribuirani algoritmi, omejeno preverjanje modelov

Similar documents

Similar works from RUL:
Similar works from other Slovenian collections:

Back