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 × Canada
Collaborated with:
Toru Kato Manami Shimazu Hiroshi Ohyama O.Shirakawa H.Seki M.Fujii T.Kasami
Talks about:
procedur (1) communic (1) calculus (1) multipl (1) freight (1) environ (1) develop (1) ambient (1) system (1) machin (1)

Person: Masahiro Higuchi

DBLP DBLP: Higuchi:Masahiro

Contributed to:

CAV 19921992
CASE 20162016

Wrote 2 papers:

CAV-1992-HiguchiSSFK #communication #finite #invariant #state machine #verification
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines (MH, OS, HS, MF, TK), pp. 384–395.
CASE-2016-KatoSHO #calculus #development #ide #modelling #multi
Integrated development environment for the multiple ambient calculus for modeling freight systems (TK, MS, MH, HO), pp. 367–372.

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.