Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Kenichi Kawashima
Observed name:
K. Kawashima
Observed institution:
The University of Osaka
OpenAlex ID:
A5111482576
Automated verification of responsive protocols modeled by extended finite state machines
1994
·
Yoshiaki Kakuda
, Tohru Kikuno
, et al.
·
Real-Time Systems
·
2
GeneAlign: Java Application Software for Multiple Sequence Alignment Editor
1999
·
Ken Kurokawa
, Yoshitaka Hasegawa
, et al.
·
1
GeneWeb II: Sequence Analysis Tools on Web Server Using Java API
1998
·
Ken Kurokawa
, Kenichi Kawashima
, et al.
·
Europe PMC (PubMed Central)
·
1
Spare channel assignment for restoration in fault-tolerant loop network
1991
·
T. Kikuno
, C. Chen
, et al.
·
Pacific Rim International Symposium on Dependable Computing
·
1
Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines
1994
·
Yoshiaki Kakuda
, Tohru Kikuno
, et al.
·
Springer eBooks
Show more works
View as search
Works count:
5
Citation count:
5
H-index:
1
I10-index:
Year
Topic
Type
