2007 |
3 | EE | Masahiko 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 |
2 | EE | Juliana 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 |