論文

査読有り 本文へのリンクあり 国際共著
2016年

Monitoring Temporal Properties Using Interval Analysis.

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  • Daisuke Ishii
  • ,
  • Naoki Yonezaki
  • ,
  • Alexandre Goldsztejn

担当区分
筆頭著者, 責任著者
99-A
2
開始ページ
442
終了ページ
453
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1587/transfun.E99.A.442

Web of Science ® 被引用回数 : 1

リンク情報
DOI
https://doi.org/10.1587/transfun.E99.A.442
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 本文へのリンクあり