Search Results - Malbaski, D.

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Formalization of the general rules of the Hoare logic using S-formulas

    Formalization of the general rules of the Hoare logic using S-formulas by Malbaski, D., Kupusinac, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    On the equilibrium of owner/component system

    On the equilibrium of owner/component system by Malbaski, D., Kupusinac, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Analysis of infinite loops using S-formulas

    Analysis of infinite loops using S-formulas by Malbaski, D., Kupusinac, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    General aspects of the as prescribed analysis of invariants in the class

    General aspects of the as prescribed analysis of invariants in the class by Kupusinac, A., Malbaski, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    An algorithm for the automatic verification of inheritance

    An algorithm for the automatic verification of inheritance by Kupusinac, A., Malbaski, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Automatic inference of invariants in objects with variable structure

    Automatic inference of invariants in objects with variable structure by Malbaski, D., Kupusinac, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Automatic design of the technological process for NC lathes by the use of SAPOR-S system

    Automatic design of the technological process for NC lathes by the use of SAPOR-S system by GATALO, R., REKECKI, J., HODOLIČ, J., BOROJEV, Lj, ZELJKOVIĆ, M., MILOŠEVIĆ, V., KONJOVIĆ, Z., MALBAŠKI, D.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Analysis and pratical considerations of an improved multimicroprocessor system

    Analysis and pratical considerations of an improved multimicroprocessor system by MALBASKI, D, MALBASA, V, OBRADOVIC, D

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Analysis and practical considerations of an improved multimicroprocessor system

    Analysis and practical considerations of an improved multimicroprocessor system by Malbaški, Dušan, Malbaša, Veljko, Obradović, Danilo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: