Subscribe to RSS Feed (Opens in New Window)
| 2013 | ||
| Tuesday, April 16th | ||
| 3:30 PM |
Mapping of UML Diagrams to Extended Petri Nets for Formal Verification Byron DeVries, Grand Valley State University Hager-Lubbers Exhibition Hall 3:30 PM |
|
|---|---|---|
Skip to main content