Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

Отримати повний текст

Static method of consistency and completeness checking in formal model of distributed software systems за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Отримати повний текст