( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Approximative Analysis by Process Algebra with Graded Spatial Actions.

, , и . AMAST, том 1101 из Lecture Notes in Computer Science, стр. 336-350. Springer, (1996)

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)A Calculus of Countable Broadcasting Systems., , и . AMAST, том 936 из Lecture Notes in Computer Science, стр. 489-503. Springer, (1995)Parallel algorithm that considers energy efficiency and time efficiency., , , , , и . ICIT, стр. 1723-1727. IEEE, (2016)Corner Case Data Description and Detection., , , , , и . WAIN@ICSE, стр. 19-26. IEEE, (2021)A process logic for distributed system synthesis ., и . APSEC, стр. 62-69. IEEE Computer Society, (2000)Toward Individual Fairness Testing with Data Validity., , , , и . ASE, стр. 2284-2288. ACM, (2024)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)