Books > Professional & Technical > Transport technology > Automotive technology
|
Buy Now
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems (Paperback, 2011 ed.)
Loot Price: R5,758
Discovery Miles 57 580
|
|
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems (Paperback, 2011 ed.)
Expected to ship within 10 - 15 working days
|
Complexity in automation- and safety systems in railway as well as
automotive applications are dominated more and more by formal
description means, methods and tools. Formal techniques provide
next to correctness and integrity checkups - especially for safety
relevant systems - the possibility to model, prove, simulate and
check the specification of the system as well as to generate the
system implementations. Requirements of the CENELEC- and
IEC-Standards on formal techniques, particularly with regard to the
handling of safety analysis, are to be treated in FORMS/FORMAT
2010. The main focus lies on topics facing formal techniques for
railway applications and intelligent transportation systems as well
as for automotive applications. Gained findings, experiences and
also difficulties associated with the handling of the subject
matter as well as description means and tools are to be shown.
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.