Showing 1 - 3 results of 3 for search 'Schätz, Bernhard', query time: 0.05s Narrow Search
  1. 1
    Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
    Published 2011
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
    Published 2013
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
    Published 2010
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: