Specifying Input Port Bounds in SDL

R. Gotzhein, R. Grammes, T. Kuhn

in: E. Gaudin, E. Najm, R. Reed (Eds.), SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, LNCS 4745, Springer, 2007. pp. 101-116



Go to the contact details of the person in charge of this page

This page in german. Diese Seite auf deutsch.