Ausgabe 6/2007
Inhalt (5 Artikel)
Software pipelining of loops by the method of modulo scheduling
N. I. V’yukova, V. A. Galatenko, S. V. Samborskii
Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
N. V. Pakulin, A. V. Khoroshilov
Tools for support of automata-based programming
V. S. Gurov, M. A. Mazin, A. S. Narvsky, A. A. Shalyto