2016年
Monitoring Temporal Properties Using Interval Analysis.
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
- ,
- ,
- 巻
- 99-A
- 号
- 2
- 開始ページ
- 442
- 終了ページ
- 453
- 記述言語
- 英語
- 掲載種別
- 研究論文（学術雑誌）
- DOI
- 10.1587/transfun.E99.A.442
- リンク情報
-
- DOI
- https://doi.org/10.1587/transfun.E99.A.442
- DBLP
- https://dblp.uni-trier.de/rec/journals/ieicet/IshiiYG16
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000376162600002&DestApp=WOS_CPL
- URL
- https://arxiv.org/abs/1602.02387 本文へのリンクあり
- ID情報
-
- DOI : 10.1587/transfun.E99.A.442
- ISSN : 1745-1337
- DBLP ID : journals/ieicet/IshiiYG16
- Web of Science ID : WOS:000376162600002