( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Expression caching for runtime verification based on parameterized probabilistic models.

, , и . J. Syst. Softw., (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.

Hiroyuki Tan

Koshiro Nakagawa

Hiroyuki Kobayashi

Julia Nakagawa

Yôichi Nakagawa

 

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

Development of Overhead Transmission Lines Inspection Robot Capable of Crossing Steel Towers., , , , , и . SSRR, стр. 62-67. IEEE, (2019)Expression caching for runtime verification based on parameterized probabilistic models., , и . J. Syst. Softw., (2019)A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games., , , , и . SEKE, стр. 742-743. Knowledge Systems Institute Graduate School, (2014)Expansion Mechanism for Runtime Verification of Self-adaptive Systems., , и . SEKE, стр. 76-81. KSI Research Inc., (2023)Graph queries for analyzing the coverage of requirements by test cases., , и . SEKE, стр. 544-549. KSI Research Inc., (2021)Self-supervised Mining of Human Activity from CGM., , , , и . PKAW, том 6232 из Lecture Notes in Computer Science, стр. 61-72. Springer, (2010)Finding Contributable Activities Using Non-Verb Attributes In Events., , , , и . KES, том 225 из Procedia Computer Science, стр. 507-516. Elsevier, (2023)Caching Strategies for Run-time Probabilistic Model Checking., , и . Models@run.time, том 1742 из CEUR Workshop Proceedings, стр. 18-25. CEUR-WS.org, (2016)Towards Self-Adaptation on Real-World Hardware: A Preliminary Lightweight Programming Framework., , и . SASO, стр. 176-177. IEEE Computer Society, (2015)Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops., , и . SASO, стр. 59-68. IEEE Computer Society, (2012)