Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Published on 8. May 2018
Book
Paperback/Softback
XIV, 432 pages
978-3-319-91270-7 (ISBN)
Description
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.
The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
More details
Series
Edition
2018 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
83 s/w Abbildungen
XIV, 432 p. 83 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 25 mm
Weight
674 gr
ISBN-13
978-3-319-91270-7 (9783319912707)
DOI
10.1007/978-3-319-91271-4
Schweitzer Classification
Other editions
Additional editions
Michael Butler | Alexander Raschke | Thai Son Hoang
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
E-Book
05/2018
Springer
€53.49
Available for download
Persons
Content
Invited Talks.- Translation and Transformation.- Analysis and Tests.- Reals and Hybrid Systems.-
Refinement.- Hybrid ERTMS Case Study.- Short Papers.