BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × USA
Collaborated with:
T.Higashino K.Taniguchi T.Tanimoto S.Yamaguchi A.R.Cavalli T.Umedu Y.Terashima K.Yasumoto
Talks about:
time (2) bus (2) establish (1) automaton (1) wireless (1) synchron (1) scenario (1) pipelin (1) languag (1) generat (1)

Person: Akio Nakata

DBLP DBLP: Nakata:Akio

Contributed to:

DAC 20062006
FME 20022002
IWTCS 19991999

Wrote 3 papers:

DAC-2006-TanimotoYNH #realtime #using
A real time budgeting method for module-level-pipelined bus based system using bus scenarios (TT, SY, AN, TH), pp. 37–42.
FME-2002-UmeduTYNHT #mobile #multi
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (TU, YT, KY, AN, TH, KT), pp. 607–624.
IWTCS-1999-HigashinoNTC #automaton #generative #testing
Generating Test Cases for a Timed I/O Automaton Model (TH, AN, KT, ARC), pp. 197–214.

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.