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). (Intervento presentato al convegno FORMS/FORMAT 2008 - Formal Methods for Automation and Safety in Railway and Automotive Systems tenutosi a Budapest nel 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.