Information and Systems-Knowledge-Based Software Engineering(Date:2012/11/15)

Presentation
An Automatic Use of Model Checking Tool for Validating Data Lifecycle

Shinpei OGATA,  Satoshi YAZAWA,  Kazuhiko NISHIMURA,  Yoshitaka AOKI,  Hirotaka OKUDA,  Saeko MATSUURA,  

[Date]2012/11/15
[Paper #]KBSE2012-56
A proposal on a method to construct a word dictionary of Dependability Case

Masanori MATSUMURA,  Yutaka MATSUNO,  Shuichiro YAMAMOTO,  

[Date]2012/11/15
[Paper #]KBSE2012-57
複写される方へ

,  

[Date]2012/11/15
[Paper #]
Notice for Photocopying

,  

[Date]2012/11/15
[Paper #]
奥付

,  

[Date]2012/11/15
[Paper #]
裏表紙

,  

[Date]2012/11/15
[Paper #]
<<12 21-26hit(26hit)