( en | de | ru )

 

Disambiguierung von "Ogawa, Hideto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Refactoring verification using model transformation.

, , , und . IWoR@ASE, Seite 17-24. ACM, (2016)

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

POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems., , , und . ACM SIGSOFT Softw. Eng. Notes, 40 (6): 1-5 (2015)Case study of applying SPLE to development of network switch products., , , , , und . SPLC, Seite 198-207. ACM, (2013)Refactoring verification using model transformation., , , und . IWoR@ASE, Seite 17-24. ACM, (2016)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 Test Architecture for Machine Learning Product., , , und . ICST Workshops, Seite 273-278. IEEE Computer Society, (2018)A Practical Study of Debugging Using Model Checking., , , und . APSEC (2), Seite 134-139. IEEE Computer Society, (2013)Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence., , , , , , , , , und 1 andere Autor(en). SEKE, Seite 335-341. KSI Research Inc., (2020)Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking., , , und . COMPSAC, Seite 95-104. IEEE Computer Society, (2015)Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges., , , und . CoRR, (2019)