Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2019 ed.

Book Details

Format Paperback / Softback

Book Series Communications in Computer and Information Science

ISBN-10 303012987X

ISBN-13 9783030129873

Edition 2019 ed.

Publisher Springer Nature Switzerland AG

Imprint Springer Nature Switzerland AG

Country of Manufacture GB

Country of Publication GB

Publication Date Feb 2nd, 2019

Print length 179 Pages

Product Classification: Mathematical theory of computation

AI Summary

Ksh 8,100.00

Werezi Extended Catalogue 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions.

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.

The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

Get Formal Techniques for Safety-Critical Systems by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.