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





 

 
Email an den Verantwortlichen dieser Seite (vs_www@informatik.uni-kl.de)

 
This page in english. Diese Seite auf englisch.