BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Isobe:Yoshinao

Contributed to:

IFM 20122012
TACAS 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.