Satoshi YAMANE


FOREWORD
Satoshi YAMANE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/11/01
Vol. E91-A  No. 11  pp. 3206-3206
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(51.2KB)

Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata
Yosuke MUTSUDA Takaaki KATO Satoshi YAMANE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11  pp. 2972-2981
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
verificationperformance evaluationformal specificationprobabilistic hybrid automatareachabilitysymbolic methods
 Summary | Full Text:PDF(641.7KB)