Travelled to:1 × France
1 × Italy
Collaborated with:N.Matsumara Y.Itoh T.Shimomura Y.Oki T.Chikaraishi
Talks about:processor (1) construct (1) independ (1) softwar (1) program (1) verifi (1) method (1) machin (1) modif (1) built (1)
Person: T. Ohta
DBLP: Ohta:T=
Contributed to:
1998
1995Wrote 2 papers:
- CSMR-1998-OhtaMI #on the #source code #verification
- On Constructing a Tool to Verify Programs for Processors Built in Machines (TO, NM, YI), pp. 52–59.
- ICSM-1995-ShimomuraOCO #independence
- An independent software-modification method (TS, YO, TC, TO), pp. 214–221.