|
| | Preview | Author(s) | Title | Type | Issue Date |
| 21 | | Schmid, Ulrich ; Kastner, Wolfgang ; Burgstaller, Bernd ; Kral, Christian | Skriptum zur Laborübung "Prozeßautomatisierung" | Bericht Report | 2000 |
| 22 | | Burgstaller, Bernd ; Kastner, Wolfgang | Mapping of a Real-Time Operating System to UNIX (TR 183/1-109) | Bericht Report | 2000 |
| 23 | | Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard | Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs | Konferenzbeitrag Inproceedings | 2000 |
| 24 | | Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard | Interprocedural Symbolic Evaluation of Ada Programs with Aliases | Konferenzbeitrag Inproceedings | 1999 |
| 25 | | Blieberger, Johann ; Burgstaller, Bernd | Symbolic reaching definitions analysis of Ada programs | Konferenzbeitrag Inproceedings | 1998 |
| 26 | | Blieberger, Johann ; Burgstaller, Bernd | WPP - Programmer's and User's Guide (TR 183/1-74) | Bericht Report | 1997 |
| 27 | | Blieberger, Johann ; Lieger, Roland ; Burgstaller, Bernd | Augmenting Ada95 with additional real-time features | Konferenzbeitrag Inproceedings | 1996 |
| 28 | | Blieberger, Johann ; Burgstaller, Bernd | The Role of GNAT within Project WOOP | Präsentation Presentation | 1995 |
