( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling and debugging numerical constraints of cyber-physical systems design.

, , и . SoICT, стр. 251-260. ACM, (2013)

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

Nanako Nakajima

Masaki Nakajima

Dong-Shin Shin

 

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

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability., , и . International Journal of Software Engineering and Knowledge Engineering, 21 (2): 259-288 (2011)Model-Checking of Safety and Security Aspects in Web Service Flows.. ICWE, том 3140 из Lecture Notes in Computer Science, стр. 488-501. Springer, (2004)Three-Dimensional Reconstruction and Surgical Navigation in Pediatric Epilepsy Surgery., , , , , , , , , и 4 other автор(ы). MICCAI, том 1496 из Lecture Notes in Computer Science, стр. 74-83. Springer, (1998)Clinical Experience with a Hich Precision Image-Guided Neurosurgery System., , , , , , , , и . MICCAI, том 1496 из Lecture Notes in Computer Science, стр. 63-73. Springer, (1998)Fault Localization of Timed Automata Using Maximum Satisfiability., и . SOFL+MSVL, том 9559 из Lecture Notes in Computer Science, стр. 72-85. Springer, (2015)Causal Reasoning in Systems (NII Shonan Meeting 139)., , и . NII Shonan Meet. Rep., (2019)An Architecture of Dynamically Adaptive PHP-based Web Applications.. APSEC, стр. 203-210. IEEE Computer Society, (2011)Aspect-Oriented Programming for Web Controller Layer., , , и . APSEC, стр. 529-536. IEEE Computer Society, (2008)Verification of Web Service Flows with Model-Checking Techniques.. CW, стр. 378-385. IEEE Computer Society, (2002)Runtime monitoring of cross-cutting policy., , и . EA@ICSE, стр. 20-24. IEEE, (2009)