Title Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

Published Cham : Springer, 2016

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xvi, 247 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 9933 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 9933. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering Summary This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed September 23, 2016) Subject Formal methods (Computer science) -- Congresses Software engineering -- Congresses Computer programs -- Verification -- Congresses Computer programs -- Reliability -- Congresses Computer software -- Verification -- Congresses Computer software -- Reliability -- Congresses Programming & scripting languages: general. Software Engineering. Expert systems -- knowledge-based systems. Mathematical theory of computation. Computer programming -- software development. Computers -- Programming Languages -- General. Computers -- Software Development & Engineering -- General. Computers -- Expert Systems. Mathematics -- Logic. Computers -- Programming -- General. Computer programs -- Reliability Computer programs -- Verification Computer software -- Reliability Computer software -- Verification Formal methods (Computer science) Software engineering Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Beek, Maurice H. ter, editor Gnesi, Stefania, 1954- editor Knapp, Alexander, 1971- editor International Workshop on Automated Verification of Critical Systems (16th : 2016 : Pisa, Italy), jointly held conference ISBN 9783319459431 3319459430 3319459422 9783319459424

Other Titles FMICS-AVoCS 2016

  Permalink