![[logo of the networked systems group]](/en/images/vs.gif)
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
Abstract
 | Superordinated page: Year 2007 |
| | Feedback |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |