Design for Verifiability: The OCS Case Study

Johannes Neubauer, Tiziana Margaria, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Subtitle of host publicationA Survey of Applications
PublisherJohn Wiley and Sons
Pages151-177
Number of pages27
ISBN (Print)9780470876183
DOIs
Publication statusPublished - 29 Nov 2012
Externally publishedYes

Keywords

  • Feature-based systems
  • Internet and online services
  • User model
  • Verifiability design, OCS applications

Cite this