257 KB39 KB200620252017Kapus, TatjanaMeolic, RobertVogrin, Rokštevilka:5letnik:84str. 268-276ISSN:0013-5852COBISSID_HOST:21085206URN:URN:NBN:SI:doc-PL8ONCMHslStrokovna zadruga koncesijoniranih elektrotehnikovElektrotehniški vestnikformal methodsformalne metodegene expression regulationmodel checkingpareverjanje modelovprocesna algebraprocess algebrasistemska biologijasystems biologytemporal logictemporalna logikauravnavanje izražanja genovFormalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST|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 SlovenijeTEXTznanstveno časopisjejournalsSlovenian National E-content AggregatorNational and University Library of SloveniaElektrotehniška zveza Slovenije