"Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata"
written by Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane,
published by Journal of Software Engineering and Applications, Vol.9 No.9, 2016
has been cited by the following article(s):
  • Google Scholar
  • CrossRef