TY - BOOK ID - 4797784 TI - Formal Methods for Industrial Critical Systems AU - Kowalewski, Stefan AU - Roveri, Marco AU - SpringerLink (Online service) PY - 2010 VL - 6371 SN - 03029743 SN - 9783642158988 9783642158971 3642158978 9786613567130 3642158986 1280389214 PB - Berlin, Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Computer Science. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Special Purpose and Application-Based Systems. KW - Computer science. KW - Software engineering. KW - Logic design. KW - Informatique KW - GĂ©nie logiciel KW - Structure logique KW - Formal methods (Computer science) KW - Software engineering KW - Computer programs KW - Computer software KW - Verification KW - Reliability KW - Congresses KW - Engineering & Applied Sciences KW - Computer Science KW - Information Technology KW - Software Engineering KW - Computer program files KW - Files, Computer program KW - Program files, Computer KW - Programs, Computer KW - Special purpose computers. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Special purpose computers KW - Computers KW - Informatics KW - Science KW - Computer files KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Antwerpen <2010> KW - Formal methods (Computer science) - Congresses KW - Software engineering - Congresses KW - Computer programs - Verification - Congresses KW - Computer programs - Reliability - Congresses KW - Computer software - Verification - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:4797784 AB - This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996),Cesena (July 1997),Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006), Berlin (July 2007), L'Aquila (September 2008), and Eindhoven (November 2009). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2010 workshop was co-located with ASE 2010, the 25th IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering,which o?ereda choiceofeventsintheareainadditionto themainconference.More- formation about ASE 2010 and the co-located events can be found on http://soft.vub.ac.be/ase2010/. ER -