Fifth International Workshop on Formal Techniques for Safety-Critical Systems (Event)

Description

There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry.

Period	14 Nov 2016
Event title	Fifth International Workshop on Formal Techniques for Safety-Critical Systems
Event type	Other
Location	JapanShow on map