Michael Roth, Daniel Kasperek, Udo Lindemann. Verifying the Abstraction Level of Structural Models. In Azad M. Madni, Barry W. Boehm, editors, Proceedings of the Conference on Systems Engineering Research, CSER 2014, Redondo Beach, CA, USA, March 20-22, 2014. Volume 28 of Procedia Computer Science, pages 497-504, Elsevier, 2014. [doi]
Abstract is missing.