Contact Person : Mr. Andreas Redeker; Last Date for the submission of abstract : Not Available ; Description : FORMS / FORMAT 2007 offers scientists, managers,
developers and consultants of automotive and
railway industries with interests on formal
methods an accepted platform for the exchange of
scientific and practical experiences.