Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="Matthias Güdemann"
cover
Formal Methods for Industrial Critical Systems
Comment Share
Manuel NúñezMatthias Güdemann

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

Edition
-
ISBN/ISSN
9783319194585
Collation
XVI, 213 hlm.
Series Title
Lecture Notes in Computer Science
Call Number
-