IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 1件中 1~1件目  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS 2019-03-04
09:25
Okinawa   Behavioral Verification of Yampa Programs in a Discrete Runtime Environment using Uppaal
Riku Nakane, Shoji Yuen (Nagoya Univ.)
This study proposes a verification of Yampa program behavior in the discrete runtime environment using Uppaal. Although ... [more] SS2018-52
pp.1-6
 1件中 1~1件目  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan