@dblp

Union Models: Support for Efficient Reasoning About Model Families Over Space and Time.

, и . SAM, том 11753 из Lecture Notes in Computer Science, стр. 200-218. Springer, (2019)

Линки и ресурсы

тэги