Login / Signup
Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations.
Dong-Hoon Yoo
Dong-Ik Lee
Jeong-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