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.)

Published Cham, Switzerland : Springer, 2018

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xiv, 432 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10817 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 10817. 0302-9743 LNCS sublibrary. SL 1, Theoretical computer science and general issues. Contents Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers 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 Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed May 15, 2018) Subject Machine learning -- Congresses Machine theory -- Congresses Machine learning Machine theory Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Butler, Michael, 1967- editor. Raschke, Alexander, editor Hoang, Thai Son, editor Reichl, Klaus, editor ISBN 9783319912714 3319912712

Other Titles ABZ 2018

  Permalink