Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 101 to 101 of 101.
  1. Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer

    Structured Formal Development in VSE II: The Robertino Case Study

    In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …