Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Formal Methods for Industrial Critical Systems - 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Paperback, 2009 ed.)
Loot Price: R1,557
Discovery Miles 15 570
|
|
Formal Methods for Industrial Critical Systems - 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Paperback, 2009 ed.)
Series: Lecture Notes in Computer Science, 5596
Expected to ship within 10 - 15 working days
|
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 are
intended to bring together scientists and practitioners who are
active in the area of formal methods and interested in exchanging
their experiences in the industrial usage of these methods. These
workshopsalso striveto promoteresearchand developmentfor the
improvement of formal methods and tools for industrial
applications. The topics for which contributions to FMICS 2008 were
solicited included, but were not restricted to, the following: -
Design, speci?cation, code generation and testing based on formal
methods - Veri?cation and validation of complex, distributed,
real-time systems and embedded systems - Veri?cation and validation
methods that address shortcomings of existing methods with respect
to their industrial applicability (e. g. , scalability and
usability issues) - Tools for the development of formal design
descriptions - Case studies and experience reports on industrial
applications of formal methods, focusing on lessons learned or
identi?cation of new research - rections - Impact of the adoption
of formal methods on the development process and associated costs -
Application of formal methods in standardization and industrial
forums The workshop included six sessions of regular contributions
in the areas of model checking, testing, software veri?cation,
real-time performance, and ind- trial case studies. There were also
three invited presentations, given by Steven Miller,Rance
Cleaveland,and Werner Damm, coveringthe applicationof formal
methods in the avionics and automotive industries.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.