Formal Techniques for Safety-Critical Systems Image close
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Show Hide Adult Content
Formal Techniques for Safety-Critical Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$148.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.00 with Afterpay Learn more

6 weekly interest-free payments of $24.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Communications in Computer and Information Science

See all products in this series

HCI International 2011 Posters' Extended Abstracts
$298.00
HCI International 2011 Posters' Extended Abstracts
Paperback / softback
Available - Usually ships in 3-4 weeks
Information and Communication Technology for Development for Africa
$150.00
Information and Communication Technology for Development for Africa
Paperback / softback
Available - Usually ships in 3-4 weeks
Innovations for Community Services
$238.00
Innovations for Community Services
Paperback / softback
Available - Usually ships in 3-4 weeks
ICTERI 2021 Workshops
$150.00
ICTERI 2021 Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence
$150.00
Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Information and Communication Technologies in Education, Research, and Industrial Applications
$148.00
Information and Communication Technologies in Education, Research,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Engineering Applications of Neural Networks
$151.00
Engineering Applications of Neural Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Applications for Security, Control and System Engineering
$154.00
Computer Applications for Security, Control and System Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Cloud Computing and Services Science
$148.00
Cloud Computing and Services Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Production Research
$150.00
Production Research
Paperback / softback
Available - Usually ships in 3-4 weeks
Serviceology for Services
$150.00
Serviceology for Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Theoretical Computer Science
$150.00
Theoretical Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Technologies
$150.00
Software Technologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Convergence and Hybrid Information Technology
$299.00
Convergence and Hybrid Information Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision, Imaging and Computer Graphics Theory and Applications
$150.00
Computer Vision, Imaging and Computer Graphics Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Optimization, Learning Algorithms and Applications
$365.00
Optimization, Learning Algorithms and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. 
Release date NZ
February 3rd, 2016
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Cyrille Artho
  • Edited by Peter Csaba Olveczky
Edition
1st ed. 2016
Illustrations
86 Illustrations, color; X, 271 p. 86 illus. in color.
Pages
271
Dimensions
155x235x15
ISBN-13
9783319295091
Product ID
24536886

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Software Packages >
Computer graphics software
Books >
Computers & Internet >
Social & Legal Aspects >
Human-computer interaction
Books >
Computers & Internet >
Graphical & digital media applications >
3D graphics & modelling
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Human-computer interaction >
User interface design & usability