( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Expansion Mechanism for Runtime Verification of Self-adaptive Systems.

, , и . SEKE, стр. 76-81. KSI Research Inc., (2023)

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.

Naotsugu Tsuchiya

 

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

Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services., , , и . ICOIN (1), том 2343 из Lecture Notes in Computer Science, стр. 641-651. Springer, (2002)A monitoring point selection approach for power distribution systems., , и . SoSE, стр. 190-195. IEEE, (2013)A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems., , , и . ICTSS, том 12543 из Lecture Notes in Computer Science, стр. 302-309. Springer, (2020)Automatic Facility Layout Design System Using Deep Reinforcement Learning., , и . ICAART (2), стр. 221-230. SCITEPRESS, (2023)An Adaptive Mechanism for Epidemic Communication., и . BioADIT, том 3141 из Lecture Notes in Computer Science, стр. 306-316. Springer, (2004)Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence., и . ASE Workshops, стр. 58-61. IEEE Computer Society, (2015)Gossiping with Network Coding., , и . PRDC, стр. 63-70. IEEE Computer Society, (2011)Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation., и . CANDAR, стр. 596-598. IEEE Computer Society, (2014)A new fault-tolerant scheduling technique for real-time multiprocessor systems., , и . RTCSA, стр. 197-202. IEEE Computer Society, (1995)Describing and Verifying Integrated Services of Home Network Systems., , , , и . APSEC, стр. 549-560. IEEE Computer Society, (2005)