Towards Constraint-Based Preservation in Systems Specification

Thomas Triebsees, Uwe M. Borghoff. Towards Constraint-Based Preservation in Systems Specification. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. Volume 4739 of Lecture Notes in Computer Science, pages 894-902, Springer, 2007. [doi]

Authors

Thomas Triebsees

This author has not been identified. Look up 'Thomas Triebsees' in Google

Uwe M. Borghoff

This author has not been identified. Look up 'Uwe M. Borghoff' in Google