Add to Cart
The item has been added
Trending Bestseller
FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems
Hardback
23 February 2011
$442.00
Ships in 3-5 business days
FORMS/FORMAT 2010
$442.00
Description
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.
You May Like
Add to Cart
The item has been added
Everyday Forms of State Formation
Everyday Forms of State Formation is the first book to systematically examine the relationship between popular cultures and state formation in revolutionary and post-revolutionary Mexico. While most...
$70.00
Add to Cart
The item has been added
Add to Cart
The item has been added
A manual relating to the formation and management of mercantile and manufacturing corporations, with forms
The Making of the Modern Law: Legal Treatises, 1800-1926 includes over 20,000 analytical, theoretical and practical works on American and British Law. It includes the writings of major legal...
$59.00
Add to Cart
The item has been added
Add to Cart
The item has been added
Forming Resilient Children - The Role of Spiritual Formation for Healthy Development
Many children today are growing up in the midst of adversity, whether brought on by family difficulties or larger societal crises. All children need to be able to deal with stress, cope with...
$46.00
Add to Cart
The item has been added
Customers Also Viewed
Buy Books Online at BookLoop
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Shop Trending Books and New Releases
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Shop Best Books By Collection
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.