
Search the dblp DataBase
Tetsuya Mizutani:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Labeled @Calculus: Formalism for TimeConcerned Human Factors. [Citation Graph (0, 0)][DBLP] AISC, 2006, pp:2539 [Conf]
 Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
Formal Analysis for Continous Systems Controlled by Programs. [Citation Graph (0, 0)][DBLP] ASIAN, 1996, pp:347348 [Conf]
 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:299308 [Conf]
 Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
Representation of Discretely Controlled Continuous Systems in SoftwareOriented Formal Analysis. [Citation Graph (0, 0)][DBLP] ASIAN, 1997, pp:110120 [Conf]
 Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono
On Locomorphism in Analytical Equivalence Theory. [Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:173187 [Conf]
 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]
Formal Representation and Analysis of a Near Miss Accident in N Sigmalabeled Calculus. [Citation Graph (, )][DBLP]
Formal Specification and Experiments of an Expressive HumanComputer Ensemble System with Rehearsal. [Citation Graph (, )][DBLP]
Formal Analysis of an Airplane Accident in NSigmaLabeled Calculus. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
