( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Calculus of Countable Broadcasting Systems.

, , и . AMAST, том 936 из Lecture Notes in Computer Science, стр. 489-503. Springer, (1995)

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 Isobe

 

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

Eventuality in LOTOS with a Disjunction Operator., , и . ASIAN, том 1538 из Lecture Notes in Computer Science, стр. 263-281. Springer, (1998)Foreword.. IEICE Trans. Inf. Syst., 97-D (5): 1139 (2014)Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture., , , , , и . Inf. Media Technol., 7 (3): 938-948 (2012)AI robustness analysis with consideration of corner cases., , , , , и . AITest, стр. 29-36. IEEE, (2021)Autonomous driving quality assurance with data uncertainty analysis., , , , и . IJCNN, стр. 1-7. IEEE, (2022)Proof Principles of CSP - CSP-Prover in Practice., и . LDIC, стр. 425-442. Springer, (2007)Parallel algorithm that considers energy efficiency and time efficiency., , , , , и . ICIT, стр. 1723-1727. IEEE, (2016)A process logic for distributed system synthesis ., и . APSEC, стр. 62-69. IEEE Computer Society, (2000)Corner Case Data Description and Detection., , , , , и . WAIN@ICSE, стр. 19-26. IEEE, (2021)A Calculus of Countable Broadcasting Systems., , и . AMAST, том 936 из Lecture Notes in Computer Science, стр. 489-503. Springer, (1995)