Mathilde Sichelschmidt

Publication Activity (10 Years)

Years Active: 1986-1986
Publications (10 Years): 0

Publications

Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt
The AADL/S* Approach to Firmware Design Verification. IEEE Softw. 3 (4) (1986)