The symposium FORMS/FORMAT 2010 offers scientists facing formal techniques, practitioners and managers, developers and consultants of automotive and railway industries as well as traffic system operators with interest in formal methods an accepted platform for the exchange of scientific experience and the transfer of practical description means, methods and tools for complex automation systems.
FORMS/FORMAT 2010. Formal Methods for Automation and Safety in Railway and Automotive Systems / Ricci, Stefano. - (2010). (Intervento presentato al convegno FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems tenutosi a Braunschweig nel 2-3 dicembre 2010).
FORMS/FORMAT 2010. Formal Methods for Automation and Safety in Railway and Automotive Systems
RICCI, Stefano
2010
Abstract
The symposium FORMS/FORMAT 2010 offers scientists facing formal techniques, practitioners and managers, developers and consultants of automotive and railway industries as well as traffic system operators with interest in formal methods an accepted platform for the exchange of scientific experience and the transfer of practical description means, methods and tools for complex automation systems.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
