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

Theoretical Computer Science and General Issues

Rigorous State-Based Methods

7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

Editors: Raschke, Alexander, Méry, Dominique, Houdek, Frank (Eds.)

Free Preview

Buy this book

eBook 60,98 €
price for Spain (gross)
  • ISBN 978-3-030-48077-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 76,95 €
price for Spain (gross)
  • ISBN 978-3-030-48076-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.

The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).

Table of contents (36 chapters)

Table of contents (36 chapters)
  • Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

    Pages 3-5

    Cavalcanti, Ana

  • Adding Concurrency to a Sequential Refinement Tower

    Pages 6-23

    Schellhorn, Gerhard (et al.)

  • Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering

    Pages 27-43

    Clarisó, Robert (et al.)

  • Formal Verification of Interoperability Between Future Network Architectures Using Alloy

    Pages 44-60

    Jahanian, Mohammad (et al.)

  • Experiences on Teaching Alloy with an Automated Assessment Platform

    Pages 61-77

    Macedo, Nuno (et al.)

Buy this book

eBook 60,98 €
price for Spain (gross)
  • ISBN 978-3-030-48077-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 76,95 €
price for Spain (gross)
  • ISBN 978-3-030-48076-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Rigorous State-Based Methods
Book Subtitle
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Editors
  • Alexander Raschke
  • Dominique Méry
  • Frank Houdek
Series Title
Theoretical Computer Science and General Issues
Series Volume
12071
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-48077-6
DOI
10.1007/978-3-030-48077-6
Softcover ISBN
978-3-030-48076-9
Edition Number
1
Number of Pages
XII, 428
Number of Illustrations
609 b/w illustrations, 66 illustrations in colour
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 are not included.