( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Real-Time Maude to Model Check Energy Consumption Behavior.

. FM, том 9109 из Lecture Notes in Computer Science, стр. 378-394. Springer, (2015)

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

 

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

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)Invited Quality Assurance of Machine Learning Software.. GCCE, стр. 601-604. IEEE, (2018)Constructing FODA Feature Diagrams with a GUI-based Tool.. SEKE, стр. 20-25. Knowledge Systems Institute Graduate School, (2009)Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability., и . CyPhy, том 9361 из Lecture Notes in Computer Science, стр. 99-115. Springer, (2015)AI Extension of SQuaRE Data Quality Model., и . QRS Companion, стр. 306-313. IEEE, (2021)A Map of Asynchronous Communication Models., , , и . FM Workshops (2), том 12233 из Lecture Notes in Computer Science, стр. 307-322. Springer, (2019)Generalized Oracle for Testing Machine Learning Computer Programs.. SEFM Workshops, том 10729 из Lecture Notes in Computer Science, стр. 174-179. Springer, (2017)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)Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability., , , , и . ICCCN, стр. 1-6. IEEE, (2017)