Bulletin of Networking, Computing, Systems, and Software

Yanase, Ryo, Kanazawa University

• Vol 1, No 1 (2012) - Articles
  Hybrid Automata Theoretic Specification and Verification of CPU-DRP Embedded Systems
  Abstract  PDF