( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud.

, , и . ICSOFT (1), стр. 264-268. INSTICC Press, (2009)

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.

Kazuo Araki

Tadao Johannes Araki

Emiko Dorothea Araki

 

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

Lamarckian Evolution of Associative Memory., и . International Conference on Evolutionary Computation, стр. 676-680. IEEE, (1996)Specification slicing in formal methods of software development., и . COMPSAC, стр. 313-319. IEEE, (1993)Privacy-Aware Location Dependent Services over Wireless Internet with Anycast., , и . Human.Society@Internet, том 3597 из Lecture Notes in Computer Science, стр. 311-321. Springer, (2005)SIMPEL: An innovative web application interface supporting online course management system., и . ITHET, стр. 1-8. IEEE, (2012)Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware., , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 593-596. Springer, (2015)Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud., , и . ICSOFT (1), стр. 264-268. INSTICC Press, (2009)Enforcing the optimal set of controls for state feedback with non-redundant controllers., , и . SMC, стр. 1394-1399. IEEE, (2007)A Calculus Based on the Agent-Place Model., и . ICFEM, стр. 56-63. IEEE Computer Society, (1998)Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies., , , , и . ICPP, Vol. 3, стр. 61-69. IEEE Computer Society, (1996)0-8186-7623-X.Design of General Reliable Multicast Architecture with Active Network Framework., , и . ICOIN, стр. 825-830. IEEE Computer Society, (2001)