Industrial Information Systems - IIS-2015

Novosibirsk, Akademgorodok, 20-24 September, 2015

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

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