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 |
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 |