{"?xml":{"@version":"1.0"},"edm:RDF":{"@xmlns:dc":"http://purl.org/dc/elements/1.1/","@xmlns:edm":"http://www.europeana.eu/schemas/edm/","@xmlns:wgs84_pos":"http://www.w3.org/2003/01/geo/wgs84_pos","@xmlns:foaf":"http://xmlns.com/foaf/0.1/","@xmlns:rdaGr2":"http://rdvocab.info/ElementsGr2","@xmlns:oai":"http://www.openarchives.org/OAI/2.0/","@xmlns:owl":"http://www.w3.org/2002/07/owl#","@xmlns:rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","@xmlns:ore":"http://www.openarchives.org/ore/terms/","@xmlns:skos":"http://www.w3.org/2004/02/skos/core#","@xmlns:dcterms":"http://purl.org/dc/terms/","edm:WebResource":[{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-PL8ONCMH/f4c51f39-3640-461e-a968-c0a93b1170a4/PDF","dcterms:extent":"257 KB"},{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-PL8ONCMH/d452ce96-acc1-49b4-a6bf-3e65878275cc/TEXT","dcterms:extent":"39 KB"}],"edm:TimeSpan":{"@rdf:about":"2006-2025","edm:begin":{"@xml:lang":"en","#text":"2006"},"edm:end":{"@xml:lang":"en","#text":"2025"}},"edm:ProvidedCHO":{"@rdf:about":"URN:NBN:SI:DOC-PL8ONCMH","dcterms:isPartOf":[{"@rdf:resource":"https://www.dlib.si/details/urn:nbn:si:spr-0y5dimiu"},{"@xml:lang":"sl","#text":"Elektrotehniški vestnik"}],"dcterms:issued":"2017","dc:creator":["Kapus, Tatjana","Meolic, Robert","Vogrin, Rok"],"dc:format":[{"@xml:lang":"sl","#text":"številka:5"},{"@xml:lang":"sl","#text":"letnik:84"},{"@xml:lang":"sl","#text":"str. 268-276"}],"dc:identifier":["ISSN:0013-5852","COBISSID_HOST:21085206","URN:URN:NBN:SI:doc-PL8ONCMH"],"dc:language":"sl","dc:publisher":{"@xml:lang":"sl","#text":"Strokovna zadruga koncesijoniranih elektrotehnikov"},"dc:subject":[{"@xml:lang":"en","#text":"formal methods"},{"@xml:lang":"sl","#text":"formalne metode"},{"@xml:lang":"en","#text":"gene expression regulation"},{"@xml:lang":"en","#text":"model checking"},{"@xml:lang":"sl","#text":"pareverjanje modelov"},{"@xml:lang":"sl","#text":"procesna algebra"},{"@xml:lang":"en","#text":"process algebra"},{"@xml:lang":"sl","#text":"sistemska biologija"},{"@xml:lang":"en","#text":"systems biology"},{"@xml:lang":"en","#text":"temporal logic"},{"@xml:lang":"sl","#text":"temporalna logika"},{"@xml:lang":"sl","#text":"uravnavanje izražanja genov"},{"@rdf:resource":"http://www.wikidata.org/entity/Q815297"}],"dcterms:temporal":{"@rdf:resource":"2006-2025"},"dc:title":{"@xml:lang":"sl","#text":"Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST|"},"dc:description":{"@xml:lang":"sl","#text":"Elektrotehniški vestnik je revija, ki objavlja izvirne znanstvene prispevke s področja elektrotehnike in računalništva. Revija ima dolgoletno tradicijo, saj je v letu 2013 praznovala 80 letnico izhajanja. Revija objavlja prispevke v slovenskem in angleškem jeziku, ki med drugim obravnavajo: močnostno elektrotehniko,telekomunikacije, računalništvo in informatiko, avtomatiko in robotiko, biomedicinsko tehniko, razpoznavanje vzorcev, elektroniko, merilno tehniko in teorijo elektrotehnike in računalništva. Revijo izdaja Elektrotehniška zveza Slovenije"},"edm:type":"TEXT","dc:type":[{"@xml:lang":"sl","#text":"znanstveno časopisje"},{"@xml:lang":"en","#text":"journals"},{"@rdf:resource":"http://www.wikidata.org/entity/Q361785"}]},"ore:Aggregation":{"@rdf:about":"http://www.dlib.si/?URN=URN:NBN:SI:DOC-PL8ONCMH","edm:aggregatedCHO":{"@rdf:resource":"URN:NBN:SI:DOC-PL8ONCMH"},"edm:isShownBy":{"@rdf:resource":"http://www.dlib.si/stream/URN:NBN:SI:DOC-PL8ONCMH/f4c51f39-3640-461e-a968-c0a93b1170a4/PDF"},"edm:rights":{"@rdf:resource":"http://rightsstatements.org/vocab/InC/1.0/"},"edm:provider":"Slovenian National E-content Aggregator","edm:intermediateProvider":{"@xml:lang":"en","#text":"National and University Library of Slovenia"},"edm:dataProvider":{"@xml:lang":"sl","#text":"Elektrotehniška zveza Slovenije"},"edm:object":{"@rdf:resource":"http://www.dlib.si/streamdb/URN:NBN:SI:DOC-PL8ONCMH/maxi/edm"},"edm:isShownAt":{"@rdf:resource":"http://www.dlib.si/details/URN:NBN:SI:DOC-PL8ONCMH"}}}}