FTSCS 2012
First International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2012 Satellite Event)

Kyoto, Japan, November 12, 2012


Registration

Online registration is closed.

On-site registration is possible, but subject to availability of space.

For reference: