Login / Signup

System modeling and transformational design refinement in ForSyDe [formal system design].

Ingo SanderAxel Jantsch
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2004)
Keyphrases