Specification, Detection and Resolution of IN Feature Interactions with Estelle

J. Bredereke, R. Gotzhein

in: 7th International Conference on Formal Description Techniques (FORTE'94), Bern, Schweiz, 1994

Zusammenfassung

Vollversion





 

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

 
This page in english. Diese Seite auf englisch.