Zobrazeno 1 - 3
of 3
pro vyhledávání: '"fix-point numbers"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 25, Iss 6, Pp 637-666 (2018)
The project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto the development of incremental combined approach to specification and verification of standard Mathematical func
Externí odkaz:
https://doaj.org/article/63a6a6d4683741fbb0e298dfb088c8e9
Autor:
Shilov Nikolay Vyacheslavovich, Anureev Igor Sergeevich, Bodin Evgeniy Viktorovich, Kondratiev D., A., Promsky Aleksey Vladimirovich, Shilova Svetlana Olegovna, Faifel Boris Leonidovich
Research project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto a development of an incremental combined approach to the specification and verification of the standard mat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33815f510c1ff55c39652e0a9291bc9e
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.