Sei Takahashi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2021

Six-Assurance Case Patterns by Strengthening/Weakening ArgumentTsutomu Koshiyama, Sei Takahashi. ijsssp, 12(1):21-45, 2021. [doi]

2016

Data-Based Axle Temperature Prediction of High Speed Train by Multiple Regression AnalysisGuo Xie, Zhuxin Wang, Xinhong Hei 0001, Sei Takahashi, Hideo Nakamura. ifip8-3 2016: 349-353 [doi]

2014

A Strategy to Formalize Specification and Its Application to an Advanced Railway SystemGuo Xie, Xinhong Hei, Sei Takahashi, Hideo Nakamura. ijseke, 24(3):465-492, 2014. [doi]

Safety and Reliability Estimation of Automatic Train Protection and Block SystemGuo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura. qre, 30(4):463-472, 2014. [doi]

2011

Study on Formal Specification of Automatic Train Protection and Block System for Local LineGuo Xie, Akira Asano, Sei Takahashi, Hideo Nakamura. ssiri 2011: 35-40 [doi]

2008

Toward developing a Decentralized Railway Signalling System Using Petri NetsXinhong Hei, Sei Takahashi, Hideo Nakamura. ram 2008: 851-855 [doi]

2004

A neural net architecture for hardware implementation of a temporal pattern discrimination modelSei Takahashi, Yoshifumi Sekine. scjapan, 35(9):104-112, 2004. [doi]

2001

Development of a Fail-Safe Microprocessor LSI with Self-Diagnosis Mechanism Depending on an M-Sequence Code SignatureSei Takahashi, Munehisa Taira, Hidetaka Saegusa, Takehiko Hoshino, Hideo Nakamura. prdc 2001: 191-198 [doi]

1998

Temporal Pattern Discrimination Using the Brain Mimic ProcessorSei Takahashi, Hiroshi Hakoda, Yoshifumi Sekine. iconip 1998: 570-573

Sign in or sign up to see more results.

runs on WebDSL