Publication year: 2007
ISBN: 978-3-540-73210-5
Internet Resource: Please Login to download book
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
Subject: Computer Science, Linux, automata, case studies, component systems, constraint satisfaction, device driver, formal method, formal methods, formal semantics, formal specification, formal validation, logic, modeling, real-time, semantics