( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.

, , и . SAFECOMP Workshops, том 11699 из Lecture Notes in Computer Science, стр. 398-404. Springer, (2019)

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.

Toshiyuki Ishikawa

Kenichi Ishikawa

Satomi Ishikawa

Fumiyasu Ishikawa

Ritsu Ishikawa

 

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

Understanding and Planning Event-B Refinement through Primitive Rationales., , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 277-283. Springer, (2014)Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound., , , и . ICEIS (4), стр. 275-282. (2005)Abstract rewriting Approach to solve Datalog programs., , и . DBPL, стр. 29-36. ACM, (2015)Automatic Generation of Potentially Pathological Instances for Validating Alloy Models., , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 41-56. (2016)Analysis on Strategies of Superposition Refinement of Event-B Specifications., и . ICFEM, том 11232 из Lecture Notes in Computer Science, стр. 357-372. Springer, (2018)Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering., , , , и . IEEE Trans. Software Eng., 41 (1): 40-64 (2015)QuraTest: Integrating Quantum Specific Features in Quantum Program Testing., , , , , , и . ASE, стр. 1149-1161. IEEE, (2023)Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems., , , и . ASE, стр. 1327-1331. IEEE, (2021)Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement., , , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 251-267. Springer, (2020)Component Trust for Web Service Compositions., , и . AAAI Spring Symposium: Intelligent Web Services Meet Social Computing, том SS-12-04 из AAAI Technical Report, AAAI, (2012)