> Details

Simão, Adenilso [Author] ; Morgan, Carroll [Other]

Formal Methods, Foundations and Applications

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  • Contributor: Simão, Adenilso [Author]; Morgan, Carroll [Other]
  • imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 2011
  • Published in: Lecture notes in computer science ; 7021
    Bücher
  • Extent: Online-Ressource (X, 205 p, online resource)
  • Language: English
  • DOI: 10.1007/978-3-642-25032-3
  • ISBN: 9783642250323
  • Identifier:
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Formale Methode > Verifikation > Softwaretest > Modellgetriebene Entwicklung > Fehlertoleranz
  • Origination:
  • Footnote:
  • Description: This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.