Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.).
ABZ (Conference) (6th : 2018 : Southampton, England); Butler, Michael, 1967- editor.; Raschke, Alexander, editor.; Hoang, Thai Son, editor.; Reichl, Klaus, editor.
2018
Q325.5
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.).
Meeting Name ABZ (Conference) (6th : 2018 : Southampton, England)
ISBN 9783319912714 (electronic book)
3319912712 (electronic book)
9783319912707
3319912704
DOI https://doi.org/10.1007/978-3-319-91271-4
Published Cham, Switzerland : Springer, 2018.
Language English
Description 1 online resource (xiv, 432 pages) : illustrations.
Other Standard Identifiers 10.1007/978-3-319-91271-4 doi
Call Number Q325.5
Dewey Decimal Classification 006.3/1
Summary 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.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 15, 2018).
Added Author Butler, Michael, 1967- editor.
Raschke, Alexander, editor.
Hoang, Thai Son, editor.
Reichl, Klaus, editor.
Series Lecture notes in computer science ; 10817. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783319912707
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Invited Talks
Translation and Transformation
Analysis and Tests
Reals and Hybrid Systems
Refinement
Hybrid ERTMS Case Study
Short Papers.

Browse Subjects

Show more subjects...

Statistics

from
to
Export