Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
Thu, 09/18/2014 - 1:34pm
| Title | Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications |
| Publication Type | Conference Proceedings |
| Year of Conference | 2014 |
| Authors | Kumar, P. S., A. Dubey, and G. Karsai |
| Pagination | 79–88 |
| Attachment | Size |
|---|---|
| MoDeVVa_2014_CPN.pdf | 557.04 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering