Visualizing System Factorizations with Behavior Tables - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alex Tsow, Steven D. Johnson. Visualizing System Factorizations with Behavior Tables. In Warren A. Hunt Jr., Steven D. Johnson, editors, Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings. Volume 1954 of Lecture Notes in Computer Science, pages 520-537, Springer, 2000. [doi]

The following publications are possibly variants of this publication:

Behavior tables: a basis for system representation and transformational system synthesisKamlesh Rath, M. Esen Tuna, Steven D. Johnson. iccad 1993: 736-740 [doi]

runs on WebDSL