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
Zusammenfassung
| Übergeordnete Seite: Jahr 2007 | |
| Feedback | |
| Email an den Verantwortlichen dieser Seite (vs_www@informatik.uni-kl.de) |
| English | |
| This page in english. Diese Seite auf englisch. |
![[Logo der AG Vernetzte Systeme]](/images/vs.gif)