Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Davorka RADAKOVIC"'
Publikováno v:
Acta Electrotechnica et Informatica, Vol 17, Iss 2, Pp 3-10 (2017)
Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques neces
Externí odkaz:
https://doaj.org/article/5390b5bf96e2477fbdb41a099f4d7fae
Publikováno v:
Journal of Applied Mathematics and Computational Mechanics, Vol 15, Iss 4, Pp 145-156 (2016)
Externí odkaz:
https://doaj.org/article/b9908dfcfe4f43a09e05066542c884fd