Login / Signup

Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations.

Dong-Hoon YooDong-Ik LeeJeong-A Lee
Published in: ICATPN (2004)
Keyphrases
  • high level synthesis
  • probabilistic model
  • case study
  • mathematical model
  • formal model
  • conceptual model
  • higher order
  • real world
  • artificial intelligence
  • information systems
  • formal specification
  • formal methods