Propagation, Transformation and Refinement of Safety Requirements

Dominik Sojer, Christian Buckl und Alois Knoll

Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages,

Oktober 2010 · Technische Universität München

Stichworte:embedded, ftos

Url:http://www.springer.com/computer/swe/book/978-3-642-21209-3