 | 2009 |
|---|
| 9 |       | Tetsuya Mizutani,
Shigeru Igarashi,
Yasuwo Ikeda,
Masayuki Shio:
Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus.
AICI 2009: 469-478 |
| 8 | | Tetsuya Mizutani,
Tatsuo Suzuki,
Masayuki Shio,
Yasuwo Ikeda:
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal.
TASE 2009: 303-304 |
| 7 | | Tetsuya Mizutani,
Shigeru Igarashi,
Yasuwo Ikeda,
Masayuki Shio:
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus.
TASE 2009: 311-312 |
| 2008 |
|---|
| 6 | | Tetsuya Mizutani,
Shigeru Igarashi,
Masayuki Shio,
Yasuwo Ikeda:
Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus.
Frontiers of Computer Science in China 2(1): 22-28 (2008) |
| 2006 |
|---|
| 5 | | Tetsuya Mizutani,
Shigeru Igarashi,
Yasuwo Ikeda,
Masayuki Shio:
Labeled @-Calculus: Formalism for Time-Concerned Human Factors.
AISC 2006: 25-39 |
| 2001 |
|---|
| 4 | | Tetsuya Mizutani,
Shigeru Igarashi,
Masayuki Shio:
Representation of a Discretely Controlled Continuous System in Tense Arithmetic.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 1997 |
|---|
| 3 |  | Tetsuya Mizutani,
Shigeru Igarashi,
Kohji Tomita,
Masayuki Shio:
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.
ASIAN 1997: 110-120 |
| 1996 |
|---|
| 2 | | Shigeru Igarashi,
Masayuki Shio,
Tetsuya Shirogane,
Tetsuya Mizutani:
Formal Verification and Evaluation of Execution Time in the Envelope Theory.
ASIAN 1996: 299-308 |
| 1 | | Shigeru Igarashi,
Tetsuya Mizutani,
Tetsuya Shirogane,
Masayuki Shio:
Formal Analysis for Continous Systems Controlled by Programs.
ASIAN 1996: 347-348 |
