( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Checking Behavioral Specification of BPEL Applications.

. WLFM@FM, том 151 из Electronic Notes in Theoretical Computer Science, стр. 89-105. Elsevier, (2005)

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.

Yoshimichi Nakajima

Chikako Nakajima

Masaki Nakajima

Nanako Nakajima

Dong-Shin Shin

 

Другие публикации лиц с тем же именем

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