Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

by Francesco Flammini, Frédéric Lang

201 pages· 2014· ISBN 9783319107028
Join Readfeed freeFind clubs reading this bookBrowse readable books
About
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

Discuss Formal Methods for Industrial Critical Systems with other readers

Join or start a book club for Formal Methods for Industrial Critical Systems on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Formal Methods for Industrial Critical Systems?

Sign up free on Readfeed, then browse public clubs or start your own club with Formal Methods for Industrial Critical Systems as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Formal Methods for Industrial Critical Systems with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Formal Methods for Industrial Critical Systems with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.