Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.

Product details

• Assisted by: Michael Dierkes (Editor), Charles Pecheur (Editor), Michae Dierkes (Editor), PECHEUR (Editor), Pecheur (Editor)
• Publisher: Springer, Berlin
• Content: Book
• Product form: Paperback / Softback
• Publication date: 26.08.2013
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT
• EAN: 9783642410093
• ISBN: 978-3-642-41009-3
• Pages: 199
• Illustrations: XIV, 199 p. 46 illus.
• Dimensions (packing): 15.5 x 23.6 x 1.3 cm
• Weight (packing): 336 g
• Series: Lecture Notes in Computer Science > 8187; Programming and Software Engineering; Lecture Notes in Computer Science / Programming and Software Engineering > .8187; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: C, Software Engineering, computer science, Theory of Computation, Logics and Meanings of Programs, Computers, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Expert systems / knowledge-based systems, Mathematical Logic and Formal Languages, Computer architecture & logic design, Special purpose computers, Special Purpose and Application-Based Systems, Computer logic, Computation by Abstract Devices, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory