Schedule

Subscribe to RSS Feed

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