Maciej Wasowski

A Development Method for SDL-92 Specifications Based on OMT

Dorota Witaszek, Joachim Fischer, Eckhardt Holz, 1995 .

Co-Simulation of Hybrid SDL and VHDL Specifications

Dorota Witaszek, Joachim Fischer, Olaf Kath, 2002 .

Validation of Hybrid Systems by Co-simulation

Dorota Witaszek, David Sinclair, Eckhardt Holz, 1995, Hybrid Systems.

Design of hybrid hardware/software systems with INSYDE

Dorota Witaszek, Eckhardt Holz, Maciej Wasowski, 1995 .