Бессонов А.В.  

Символьная спецификация пространственно-временных гибридных систем на языке LISMA_PDE