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