The symposium FORMS/FORMAT 2008 offers an accepted platform for the exchange of scientific experience and the transfer of practical description means, methods and tools for complex automation systems to scientists facing formal techniques, specialists and managers, developers and consultants of automotive and railway industries as well as traffic system operators with interest in formal methods. The official language of the symposium is English
FORMS/FORMAT 2008 - Formal Methods for Automation and Safety in Railway and Automotive Systems / Ricci, Stefano. - (2008). ( FORMS/FORMAT 2008 - Formal Methods for Automation and Safety in Railway and Automotive Systems Budapest 9-10 ottobre 2008).
FORMS/FORMAT 2008 - Formal Methods for Automation and Safety in Railway and Automotive Systems
RICCI, Stefano
2008
Abstract
The symposium FORMS/FORMAT 2008 offers an accepted platform for the exchange of scientific experience and the transfer of practical description means, methods and tools for complex automation systems to scientists facing formal techniques, specialists and managers, developers and consultants of automotive and railway industries as well as traffic system operators with interest in formal methods. The official language of the symposium is EnglishI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
