Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Anureev, Igor S."'
Autor:
Shilov, Nikolay V., Anureev, Igor S., Berdyshev, Mikhail, Kondratev, Dmitry, Promsky, Aleksey V.
The paper presents (human-oriented) specification and (pen-and-paper) verification of the square root function. The function implements Newton method and uses a look-up table for initial approximations. Specification is done in terms of total correct
Externí odkaz:
http://arxiv.org/abs/1801.00969
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:
Zyubin, Vladimir E., Rozov, Andrei S., Anureev, Igor S., Garanina, Natalia O., Vyatkin, Valery
Publisher Copyright: Author This paper presents the core concepts for the poST language - a process-oriented extension of the IEC 61131-3 Structured Text (ST) language which intends to provide a conceptual consistency of the PLC source code with tech
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______661::78f5283ff35c5b313f76e8e0961d5c85
https://aaltodoc.aalto.fi/handle/123456789/113978
https://aaltodoc.aalto.fi/handle/123456789/113978
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.