Statistics
Publications
4
Citations
66
H-Index
4
Active since
2002
Affiliations
The University of Osaka(Current)
Kozo Okano is an author at The University of Osaka specializing in formal verification, engineering, and formal methods.
Publications per year
2002–2019
4
4
Deriving protocol specifications from service specifications in extended FSM models
Teruo Higashino, Kozo Okano, H. Imajo et al. · 2002 · 17 citations
Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -
Yang Pan, Rin Karashima, Kozo Okano et al. · Procedia Computer Science · 2019 · 14 citations · Full text
Protocol synthesis from time Petri net based service specifications
Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino et al. · 2002 · 10 citations
1–4 of 4