Ausgabe 1/2007
Inhalt (6 Artikel)
Verification as a parameterized testing (experiments with the SCP4 supercompiler)
A. P. Lisitsa, A. P. Nemytykh
Implementation of the conformation of MSC and SDL diagrams in the REAL technology
A. N. Terekhov, V. V. Sokolov