| |
| 2000 | ||
|---|---|---|
| 3 | EE | Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald: A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. SAFECOMP 2000: 187-197 |
| 1996 | ||
| 2 | Walter Kuhn: Performance Prediction and Benchmarking: Results from the ALPSTONE Project. HPCN Europe 1996: 762-769 | |
| 1 | Helmar Burkhart, Niandong Fang, Robert Frank, Guido Hächler, Walter Kuhn, G. Prétôt: The Basel Tool Suite for parallel processing. Software Engineering for Parallel and Distributed Systems 1996: 283-288 | |
| 1 | Helmar Burkhart | [1] |
| 2 | Georg Droschl | [3] |
| 3 | Niandong Fang | [1] |
| 4 | Robert Frank | [1] |
| 5 | Guido Hächler | [1] |
| 6 | G. Prétôt | [1] |
| 7 | Gerald Sonneck | [3] |
| 8 | Michael Thuswald | [3] |