Search the dblp DataBase

Publications of Author

1. Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
   Labeled @-Calculus: Formalism for Time-Concerned Human Factors. [Citation Graph (0, 0)][DBLP]
   AISC, 2006, pp:25-39 [Conf]
   
2. Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
   Formal Analysis for Continous Systems Controlled by Programs. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1996, pp:347-348 [Conf]
   
3. Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani
   Formal Verification and Evaluation of Execution Time in the Envelope Theory. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1996, pp:299-308 [Conf]
   
4. Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
   Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1997, pp:110-120 [Conf]
   
5. Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio
   Representation of a Discretely Controlled Continuous System in Tense Arithmetic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
   
6. 
   Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. [Citation Graph (, )][DBLP]
   
   
7. 
   Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. [Citation Graph (, )][DBLP]
   
   
8. 
   Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus. [Citation Graph (, )][DBLP]