Zobrazeno 1 - 10
of 87
pro vyhledávání: '"Markoski Branko"'
Publikováno v:
Journal of Engineering Management and Competitiveness, Vol 12, Iss 1, Pp 57-64 (2022)
Digital technologies change the way how manufacturing firms create offers for customers. These new technologies transform traditional Product-Service Systems into Digital Product-Service Systems. This paper investigates the use of digital technologie
Externí odkaz:
https://doaj.org/article/41608813a8764f53b86eba27b240a1c2
Publikováno v:
Yugoslav Journal of Operations Research, Vol 20, Iss 2, Pp 229-236 (2010)
Proving the program correctness and designing the correct programs are two connected theoretical problems, which are of great practical importance. The first is solved within program analysis, and the second one in program synthesis, although inte
Externí odkaz:
https://doaj.org/article/020c3d1bdb7d425ab6596014abe67731
Publikováno v:
Yugoslav Journal of Operations Research, Vol 17, Iss 2, Pp 275-285 (2007)
Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas repres
Externí odkaz:
https://doaj.org/article/d6d2b2bea85243b2a1bce631c84d0cb9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Markoski, Branko, Šetrajčić-Tomić, Ana J., Rodić, Dragana, Šetrajčić, Igor J., Pelemiš, Svetlana, Šetrajčić, Jovan P.
Publikováno v:
In Optik - International Journal for Light and Electron Optics June 2014 125(12):2830-2834
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Advances in Engineering Software 2012 43(1):53-64
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.