Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Communications in Computer and Information Science

Leveraging Applications of Formal Methods, Verification, and Validation

6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Editors: Lamprecht, Anna-Lena (Ed.)

Free Preview

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-319-51641-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $74.99
price for USA in USD
  • ISBN 978-3-319-51640-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.

The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • Rehasport: The Challenge of Small Margin Healthcare Accounting

    Pages 3-18

    Doedt, Markus (et al.)

  • Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing Data

    Pages 21-37

    Borg, Erik (et al.)

  • Automated Spatial Data Processing and Refining

    Pages 38-49

    Simon, Marion (et al.)

  • Learning-Based Cross-Platform Conformance Testing

    Pages 53-79

    Neubauer, Johannes (et al.)

  • Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching

    Pages 83-96

    Hessenkämper, Axel (et al.)

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-319-51641-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $74.99
price for USA in USD
  • ISBN 978-3-319-51640-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Leveraging Applications of Formal Methods, Verification, and Validation
Book Subtitle
6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Editors
  • Anna-Lena Lamprecht
Series Title
Communications in Computer and Information Science
Series Volume
683
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-51641-7
DOI
10.1007/978-3-319-51641-7
Softcover ISBN
978-3-319-51640-0
Series ISSN
1865-0929
Edition Number
1
Number of Pages
VII, 157
Number of Illustrations
62 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.