Compositional Specification of Behavioral Semantics
Thu, 06/12/2008 - 11:50am
| Title | Compositional Specification of Behavioral Semantics |
| Publication Type | Report |
| Year of Publication | 2006 |
| Authors | Chen, K., J. Sztipanovits, and S. Neema |
| Date Published | June |
| Institution | Institute for Software Integrated Systems |
| Full Text |
| Attachment | Size |
|---|---|
| Chen_K_6_1_2006_Compositio.doc | 629.5 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering