Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: ABZ 2018
• Further Information: Note: Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.).
• Editors: Butler, Michael, 1967-; Raschke, Alexander; Hoàng, Thái Sơn; Reichl, Klaus
• Other Names: ABZ (Conference), 6th
• Contents: Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xiv, 432 pages), illustrations
• Subjects: 006.3/1; Machine learning -- Congresses; Machine theory -- Congresses; Machine learning; Machine theory; Computing Methodologies; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319912714; 3319912712
• Related ISBNs: 9783319912707; 3319912704
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed May 15, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.