( en | de | ru )

 

Disambiguierung von "Ogawa, Hideto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges.

, , , und . CoRR, (2019)

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.

Akio Ogawa

Hideto Hiramatsu

Masahiro Ogawa

Akira Ogawa

 

Weitere Publikationen von Autoren mit dem selben Namen

Refactoring verification using model transformation., , , und . IWoR@ASE, Seite 17-24. ACM, (2016)Case study of applying SPLE to development of network switch products., , , , , und . SPLC, Seite 198-207. ACM, (2013)POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems., , , und . ACM SIGSOFT Softw. Eng. Notes, 40 (6): 1-5 (2015)Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence., , , , , , , , , und 2 andere Autor(en). Int. J. Softw. Eng. Knowl. Eng., 30 (11&12): 1589-1606 (2020)An aspect-oriented CPU resource reservation framework integrated in MDE tools., und . AOAsia@AOSD, Seite 1-4. ACM, (2013)A Practical Study of Debugging Using Model Checking., , , und . APSEC (2), Seite 134-139. IEEE Computer Society, (2013)Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking., , , und . COMPSAC, Seite 95-104. IEEE Computer Society, (2015)Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence., , , , , , , , , und 1 andere Autor(en). SEKE, Seite 335-341. KSI Research Inc., (2020)A Test Architecture for Machine Learning Product., , , und . ICST Workshops, Seite 273-278. IEEE Computer Society, (2018)Feature-analysis-based selection method for system configuration for system testing., , , , und . PLEASE@ICSE, Seite 61-64. IEEE/ACM, (2012)