Thesis or Dissertation Dynamic Linear Hybrid Automata and Their Applications to Formal Verification of Dynamic Reconfigurable Embedded Systems

栁瀨, 龍  ,  Yanase, Ryo

2017-03-22
Description
博士論文要旨Abstract
Full-Text

https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=36051&item_no=1&attribute_id=31&file_no=1

Number of accesses :  

Other information