Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:M.Roggenbach F.Moller H.N.Nguyen
Talks about:csp (2) approach (1) theorem (1) railway (1) generic (1) safeti (1) prover (1) refin (1) capac (1) time (1)
Person: Yoshinao Isobe
DBLP: Isobe:Yoshinao
Contributed to:
2012
2005Wrote 2 papers:
- IFM-2012-IsobeMNR #approach #capacity #csp #safety
- Safety and Line Capacity in Railways — An Approach in Timed CSP (YI, FM, HNN, MR), pp. 54–68.
- TACAS-2005-IsobeR #csp #proving #refinement #theorem proving
- A Generic Theorem Prover of CSP Refinement (YI, MR), pp. 108–123.