Travelled to:
1 × Italy
1 × USA
Collaborated with:
T.L.Kunii T.Sasaki N.Koike K.Tomita
Talks about:
enterpris (1) properti (1) mathemat (1) homotopi (1) approach (1) preserv (1) develop (1) system (1) invari (1) extens (1)
Person: Kenji Ohmori
DBLP: Ohmori:Kenji
Contributed to:
Wrote 2 papers:
- ICEIS-ISAS-2009-OhmoriK #approach #development #enterprise #invariant
- Enterprise System Development with Invariant Preserving — A Mathematical Approach by the Homotopy Lifting and Extension Properties (KO, TLK), pp. 116–123.
- DAC-1983-SasakiKOT #hardware #logic #named
- HAL: A block level HArdware Logic simulator (TS, NK, KO, KT), pp. 150–156.