Isolde Wildgruber

Publication Activity (10 Years)

Years Active: 1993-1995
Publications (10 Years): 0

Publications

Jorge Cuéllar, Isolde Wildgruber
The Real-Time Behavior of the Steam Boiler. Formal Methods for Industrial Applications (1995)
Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
Development of Safety-Critical Real-Time Systems. SOFSEM (1995)
Jorge Cuéllar, Isolde Wildgruber
The Steam-Boiler Problem - A TLT Solution. Formal Methods for Industrial Applications (1995)
Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard
Combining the Design of Industrial Systems with Effective Verification Techniques. FME (1994)
Günter Böckle, Christof Störmann, Isolde Wildgruber
Methods for Exploitation of Fine-Grained Parallelism. Parallel Computer Architectures (1993)