Towards Two-Level Formal Modeling of Computer-Based Systems
Thu, 06/12/2008 - 11:50am
| Title | Towards Two-Level Formal Modeling of Computer-Based Systems |
| Publication Type | Journal Article |
| Year of Publication | 2000 |
| Authors | Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits |
| Journal | Journal of Universal Computer Science |
| Volume | 6 |
| Pagination | 1131--1144 |
| Date Published | November |
| Full Text |
| Attachment | Size |
|---|---|
| Karsai_G_11_0_2000_Towards_Tw.pdf | 182.08 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering