Critical systems : formal methods and automated verification : joint 22nd international workshop on Formal Methods for Industrial Critical Systems and 17th international workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings

Web Site CiNii Available at 1 libraries

Bibliographic Information

Title: "Critical systems : formal methods and automated verification : joint 22nd international workshop on Formal Methods for Industrial Critical Systems and 17th international workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings"

Statement of Responsibility: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.)

Publisher

Publication Year

Includes bibliographical references and index

Details 詳細情報について

Export