( en | de | ru )

 

Disambiguation of "Nakajima, Shin"

Author of the publication

copydeleteadd this publication to your clipboard
Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture.

, and . SPIN, volume 2057 of Lecture Notes in Computer Science, page 163-182. Springer, (2001)

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. You can also use the button next to the name to display some publications already assigned to the person.

Yoshimichi Nakajima

Chikako Nakajima

Nanako Nakajima

Masaki Nakajima

Dong-Shin Shin

 

Other publications of authors with the same name

Invited Quality Assurance of Machine Learning Software.. GCCE, page 601-604. IEEE, (2018)Constructing FODA Feature Diagrams with a GUI-based Tool.. SEKE, page 20-25. Knowledge Systems Institute Graduate School, (2009)Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice., and . SOFL+MSVL, volume 8332 of Lecture Notes in Computer Science, page 3-16. Springer, (2013)Generalized Oracle for Testing Machine Learning Computer Programs.. SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 174-179. Springer, (2017)Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability., and . CyPhy, volume 9361 of Lecture Notes in Computer Science, page 99-115. Springer, (2015)AI Extension of SQuaRE Data Quality Model., and . QRS Companion, page 306-313. IEEE, (2021)A Map of Asynchronous Communication Models., , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 307-322. Springer, (2019)Model-based Power Consumption Analysis of Smartphone Applications.. ACES-MB@MoDELS, volume 1084 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Project Report: High-Reliable Object-Oriented Embedded Software Design., , , , and . WSTFEUS, page 144-148. IEEE Computer Society, (2004)Image Guided Microscopic Surgery System Using Mutual-Information Based Registraion., , , , , , and . VBC, volume 1131 of Lecture Notes in Computer Science, page 317-326. Springer, (1996)