1 - 2 / 2 1 |
1. Dinamika diferenčnih enačb Jure Kukovec, 2014, undergraduate thesis Keywords: matematika, diferenčne enačbe, diferenčni operator, funkcijska linearna neodvisnost |
2. Generalizing treshold automata for reachability in parameterized systems Jure Kukovec, 2016, master's thesis Keywords: treshold automata, fault tolerant distributed algorithms, model checking |