dblp.uni-trier.dewww.uni-trier.de

Hirokazu Yatsu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEMasahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido: A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC 2007: 137-142
2000
2EEJuliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills: Formal specification of Catalysis frameworks. APSEC 2000: 180-187
1999
1 Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu: On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. LOPSTR 1999: 42-61

Coauthor Index

1Juliana Küster Filipe Bowles (Juliana Küster Filipe) [1] [2]
2Akira Fukuda [3]
3Ichiro Hosotani [3]
4Shigeyuki Kido [3]
5Kung-Kiu Lau [1] [2]
6Michihiro Matsumoto [3]
7Mario Ornaghi [1] [2]
8Kenji Taguchi [2]
9Masahiko Watanabe [3]
10Alan Wills [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)