tracker for New York University
November 21, 2008
10th international conference on verification, model checking, and abstract interpretation (VMCAI 2009) was updated.
- Organizations: New York University
November 13, 2008
9th workshop on runtime verification (RV 2009) was added.
- Organizations: New York University
October 13, 2008
7th acm-ieee international conference on formal methods and models for codesign (MEMOCODE 2009) was updated.
- Organizations: New York University
October 13, 2008
14th workshop on job scheduling strategies for parallel processing (JSSPP 2009) was added.
- Organizations: New York University
Facts
Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.