data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
dsszmc_benchmarks
| Name | Size | Date |
|---|---|---|
| ../ | ||
| apnn/ | 8 | January 12, 2009, at 12:31 PM |
| smart/ | 8 | January 13, 2009, at 03:40 PM |
| snoopy/ | 7 | January 12, 2009, at 12:31 PM |
| _dsszmc_benchmarks.tgz | 281.1 k | January 27, 2010, at 10:21 AM |
| Phils.class | 4 k | January 27, 2010, at 10:18 AM |
| _readme_dsszmc.txt | 2.8 k | January 27, 2010, at 10:18 AM |