Рассмотрены проблемы проектирования и отладки программного обеспечения для
встроенных компьютерных систем. Предложена модель представления …