Shin Nakajima

发表

Dynamic characteristics of 1.55/spl mu/m gain-coupled distributed feedback laser

Yoshiaki Nakano, Kunio Tada, Shin Nakajima, 1992, 13th IEEE International Semiconductor Laser Conference.

Link calculation method for 30/20 GHz band satellite communication system

Shin Nakajima, Takeshi Hatsuda, Yoshiteru Morihiro, 1980 .

Design and Analysis of High Frequency Magnetic Amplifier Regulator using Amorphous Saturable Core

Shin Nakajima, Yoshihito Yoshizawa, Kiyotaka Yamauchi, 1986, INTELEC '86 - International Telecommunications Energy Conference.

Concepts of 2.6/2.5 GHz mobile satellite communication system

N. Ishida, Shin Nakajima, Shunichiro Egami, 1982 .

A Map of Asynchronous Communication Models

Aurélie Hurault, Shin Nakajima, Florent Chevrou, 2019, FM Workshops.

Distortion and Faults in Machine Learning Software pdf

Shin Nakajima, 2019, SOFL+MSVL.

Verifying eventuality properties of imprecise system requirements using event-B

Shin Nakajima, Hong Anh Le, Ninh Thuan Truong, 2015, SAC.

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017

Dominique Méry, Régine Laleau, Shin Nakajima, 2018, IMPEX/FM&MDD.

Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs

Tsong Yueh Chen, Shin Nakajima, T. Chen, 2019, ICTSS.

Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing

Shaoying Liu, Shin Nakajima, Shaoying Liu, 2022, IEEE Transactions on Software Engineering.

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench

Satoshi Harauchi, Shin Nakajima, Shinpei Ogata, 2019, IEICE Trans. Inf. Syst..

Development of a high performance core snubber for high power neutral beam injectors

Shin Nakajima, Kazuhiro Watanabe, S. Nakajima, 1998 .