( en | de | ru )

 

Disambiguierung von "Tomita, Takashi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Approximate Translation from Floating-Point to Real-Interval Arithmetic.

, , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 733-751. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Takashi Seki

Takemasa Tomita

Yuto Tomita

Naoko Tomita

Takashi Iwata

 

Weitere Publikationen von Autoren mit dem selben Namen

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