( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Approximate Translation from Floating-Point to Real-Interval Arithmetic.

, , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 733-751. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Takashi Seki

Takemasa Tomita

Naoko Tomita

Yuto Tomita

Takashi Numaguchi

 

Другие публикации лиц с тем же именем

A Temporal Logic with Mean-Payoff Constraints., , , и . ICFEM, том 7635 из Lecture Notes in Computer Science, стр. 249-265. Springer, (2012)Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data., и . Remote. Sens., 14 (22): 5667 (2022)Compositional Test Generation of Industrial Synchronous Systems., , , и . CoRR, (2021)Reducing false positives of static analysis for SEI CERT C coding standard., , , , и . CESSER-IP@ICSE, стр. 41-48. IEEE / ACM, (2019)Simple synthesis of reactive systems with tolerance for unexpected environmental behavior., , , , и . FormaliSE@ICSE, стр. 15-21. ACM, (2016)Approximate Translation from Floating-Point to Real-Interval Arithmetic., , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 733-751. Springer, (2022)Specification Based Testing of Object Detection for Automated Driving Systems via BBSL., , , , , и . ENASE, стр. 250-261. SCITEPRESS, (2023)Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models., , , , и . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 103-A (2): 451-461 (2020)Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques., , , , и . SAC, стр. 1827-1836. ACM, (2022)Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems., , , и . PRDC, стр. 100-109. IEEE, (2020)