Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - Theoretical Computer Science and General Issues 7609 (Paperback)Tiziana Margaria (editor), Bernhard Steffen (editor)
- We can order this
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the development and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 617
Weight: 961 g
Dimensions: 235 x 155 x 32 mm
Edition: 2012 ed.
You may also be interested in...
Please sign in to write a review