Ausgabe 5/2007
Inhalt (5 Artikel)
The use of contract specifications for representing requirements and for functional testing of hardware models
V. P. Ivannikov, A. S. Kamkin, A. S. Kossatchev, V. V. Kuliamin, A. K. Petrenko
V. P. Ivannikov, A. S. Kamkin, A. S. Kossatchev, V. V. Kuliamin, A. K. Petrenko