Overview
- The main reason for buying such a book is that it suggests a proposal for a full coverage of the software life cycle of critical and/or distributed system.
- It also makes many connections to formal techniques, that are known as the best solution to significantly increase the reliability of such systems
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
-
The BART Case Study
-
Building and Validating Conceptual Aspects
-
Building and Validating Operational Aspects
-
Methodological Aspects
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods for Embedded Distributed Systems
Book Subtitle: How to master the complexity
Editors: Fabrice Kordon, Michel Lemoine
DOI: https://doi.org/10.1007/b116264
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2004
Hardcover ISBN: 978-1-4020-7996-2Published: 15 September 1991
Softcover ISBN: 978-1-4419-5459-6Published: 05 November 2010
eBook ISBN: 978-1-4020-7997-9Published: 08 May 2007
Edition Number: 1
Number of Pages: XX, 263
Number of Illustrations: 28 b/w illustrations
Topics: Theory of Computation, Software Engineering/Programming and Operating Systems, Artificial Intelligence, Processor Architectures, Computer-Aided Engineering (CAD, CAE) and Design