-
1Academic Journal
Authors: Array Валерьевич Никифоров, Array Павлович Котляров, Array В. Воинов, Array Дмитриевич Дробинцев
Source: Моделирование и анализ информационных систем, Vol 22, Iss 6, Pp 750-762 (2015)
Subject Terms: model specification by control flow and data flow, substitutions saving the correctness of proved properties, 0202 electrical engineering, electronic engineering, information engineering, model verification, Information technology, 02 engineering and technology, multilevel software models, T58.5-58.64, model oriented approach