Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Takashi Kitamura
2010 – today
- 2012
[c8]Takashi Kitamura, Keishi Okamoto: Automated Route Planning for Milk-run Transport Logistics Using Model Checking. ICNC 2012: 240-246- [c7]Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki: Formal Model-Based Test for AUTOSAR Multicore RTOS. ICST 2012: 251-259
- [c6]Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe: Test-Case Design by Feature Trees. ISoLA (1) 2012: 458-473
- 2010
- [c5]Takashi Kitamura, Keishi Okamoto, Makoto Takeyama: Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. PRDC 2010: 251-252
2000 – 2009
- 2008
- [c4]
- 2007
- [c3]Takashi Kitamura, Huimin Lin: Controlling Process Modularity in Mobile Computing. ICTAC 2007: 246-259
1990 – 1999
- 1999
- [c2]Takashi Kitamura, Masaru Kinoshita, Katsuyoshi Hoshino: A High Definition and Continuous Tone Color Image in Dye Thermal Transfer Printing by Laser Heating. PICS 1999: 115-118
- 1998
- [c1]Takashi Kitamura, Satoshi Arai: Laser Marking Characteristics of Thermo-Rewritable Marking Media. PICS 1998: 103-105
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-05 21:49 CET by the dblp team