izpis_h1_title_alt

Generalizing treshold automata for reachability in parameterized systems : masterʼs thesis
ID Kukovec, Jure (Avtor), ID Bauer, Andrej (Mentor) Več o mentorju... Povezava se odpre v novem oknu, ID Konnov, Igor (Komentor)

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

Jezik:Angleški jezik
Ključne besede:treshold automata, fault tolerant distributed algorithms, model checking
Vrsta gradiva:Magistrsko delo/naloga
Tipologija:2.09 - Magistrsko delo
Organizacija:FMF - Fakulteta za matematiko in fiziko
Kraj izida:Ljubljana
Založnik:[J. Kukovec]
Leto izida:2016
Št. strani:[57] str.
PID:20.500.12556/RUL-97312 Povezava se odpre v novem oknu
UDK:004.42
COBISS.SI-ID:17768025 Povezava se odpre v novem oknu
Datum objave v RUL:24.10.2017
Število ogledov:1497
Število prenosov:370
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
:
Kopiraj citat
Objavi na:Bookmark and Share

Sekundarni jezik

Jezik:Slovenski jezik
Naslov:Posplošitev pragovnih avtomatov za dosegljivost v parametriziranih sistemih
Ključne besede:pragovni avtomati, distribuirani algoritmi, omejeno preverjanje modelov

Podobna dela

Podobna dela v RUL:
Podobna dela v drugih slovenskih zbirkah:

Nazaj