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

Volltext

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

Volltext bestellen

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

Volltext bestellen

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

Volltext bestellen

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

Volltext bestellen

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

Volltext bestellen

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

Volltext bestellen

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

Volltext

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

Volltext

Procédé pour le raffinage des jus sucrés et pour la régénération de l'agent épurateur employé von HUNYADY ISTVAN, MALBASKI MILAN

Volltext bestellen