( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal.

, , , и . TASE, стр. 303-304. IEEE Computer Society, (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.

Masayuki Hirosue

Ken-ichi Shioji

Masayuki Maenishi

Masayuki Yamamoto

Masayuki Inaba

 

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

Labeled @-Calculus: Formalism for Time-Concerned Human Factors., , , и . AISC, том 4120 из Lecture Notes in Computer Science, стр. 25-39. Springer, (2006)Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus., , , и . TASE, стр. 311-312. IEEE Computer Society, (2009)A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance., , , , и . AICI (1), том 6319 из Lecture Notes in Computer Science, стр. 256-265. Springer, (2010)Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal., , , и . TASE, стр. 303-304. IEEE Computer Society, (2009)Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus., , , и . AICI, том 5855 из Lecture Notes in Computer Science, стр. 469-478. Springer, (2009)Formal Verification and Evaluation of Execution Time in the Envelope Theory., , , и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 299-308. Springer, (1996)Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis., , , и . ASIAN, том 1345 из Lecture Notes in Computer Science, стр. 110-120. Springer, (1997)Formal Analysis for Continous Systems Controlled by Programs., , , и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 347-348. Springer, (1996)