| |
| D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Archive Index |
|
| Online ISSN : 1881-0225
|
 |
|
| Volume J93-D No.7 (Publication Date:2010/07/01)
|
|
|
|
Special Section on Technologies and Applications of the Internet |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Regular Section |
|
|
|
|
|
|
|
pp.1214-1225 PAPER Modeling, Specification and Verification for Embedded Systems Using Probabilistic Timed Game Satoshi YAMANE
Masashi HAYASHI
|
|
|
Summary |
Full Text(in Japanese):PDF
(343.3KB)
|
|
|
|
|
|
|
|
|
|
|
| go to Page Top |