Browsing eNauka
Browsing by Author Dušan Malbaški
Showing results 1 to 16 of 16
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2011 | An Algorithm for the Automatic Verification of Inheritance | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2012 | Analysis of Infinite Loops Using S-Formulas | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2012 | Analysis of Loop Semantics using S-formulas | Kupusinac, Aleksandar ; Dušan Malbaški | Article | 23M23 |
2011 | Automatic Inference of Invariants in Objects with Variable Structure | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2011 | Classification of Invariants in Class Based on Conceptual Definitions | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2010 | Elegancija i složenost algoritma | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2012 | Formalization of the General Hoare Logic Laws | Kupusinac, Aleksandar ; Dušan Malbaški | Article | 23M23 |
2012 | Formalization of the General Rules of the Hoare Logic Using S-Formulas | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2011 | General Aspects of the As Prescribed Analysis of Invariants in the Class | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2010 | Klasifikacija invarijanata u klasi | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2010 | Konceptualna definicija objekta i klase | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2012 | On the Equilibrium of Owner/Component System | Kupusinac, Aleksandar ; Dušan Malbaški | Conference Paper | Mp. category will be shown later |
2013 | Primarna procena kardiometaboličkog rizika primenom veštačkih neuralnih mreža | Doroslovački, Rade ; Kupusinac, Aleksandar ; Dušan Malbaški; Biljana Srdić Galić; Edita Stokić | Technical reports | Mp. category will be shown later |
2011 | Programsko rešenje za primarnu procenu kardiometaboličkog rizika primenom veštačkih neuronskih mreža - | Kupusinac, Aleksandar ; Rade Doroslovački; Dušan Malbaški; Edita Stokić; Biljana Srdić | Technical reports | Mp. category will be shown later |
2011 | The Impact of Coding Style on the Readability of C Programs | Kupusinac, Aleksandar ; Dušan Malbaški; Srdjan Popov | Article | 23M23 |
2012 | The Strong Object Invariant | Kupusinac, Aleksandar ; Dušan Malbaški | Article | 23M23 |