( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Open Source Software Research Activities in AIST towards Secure Open Systems.

. HASE, стр. 37-42. IEEE Computer Society, (2002)

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.

No persons found for author name Ohmaki, Kazuhito
add a person with the name Ohmaki, Kazuhito
 

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

Efficiency of Concurrent Processing of Sort Using CSP., , , , , , и . SNPD, стр. 524-529. IEEE Computer Society, (2012)Open Source Software Research Activities in AIST towards Secure Open Systems.. HASE, стр. 37-42. IEEE Computer Society, (2002)Design and Implementation of an Application Interface for LOTOS Processors., , , , , и . FORTE, том C-2 из IFIP Transactions, стр. 345-360. North-Holland, (1991)A New Programming Environment With a Multi-Display Terminal and Early Experiences With It., , и . Comput. Lang., 9 (1): 39-49 (1984)Approximative Analysis by Process Algebra with Graded Spatial Actions., , и . AMAST, том 1101 из Lecture Notes in Computer Science, стр. 336-350. Springer, (1996)Early Experiences with a Multi-Display Programming Environment., , и . ICSE, стр. 422-423. IEEE Computer Society, (1982)Eventuality in LOTOS with a Disjunction Operator., , и . ASIAN, том 1538 из Lecture Notes in Computer Science, стр. 263-281. Springer, (1998)An Experimental Analysis for Classifying Specification Processes., , , , , , , и . SEKE, стр. 231-234. Knowledge Systems Institute, (1993)FDR verification of a system involving a robot climbing stairs., , , , , и . ICIS, стр. 875-878. IEEE Computer Society, (2017)Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture., , , , , и . Inf. Media Technol., 7 (3): 938-948 (2012)