FMICS-AVoCS 2016 International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems

Share this event

26 - 29 September 2016 / Add to calendar

Venue: CNR Congress Centre   Click for map

Event Type :

Conference

About FMICS-AVoCS 2016

FMICS-AVoCS 2016 is organized between 26 Sep and 29 Sep 2016.

It will be a substantial Workshop at the CNR Congress Centre in Pisa, Italy.

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016) will be the oustanding meeting about Embedded Systems, Formal Methods, Real-time Systems and Formal Verification.

FMICS-AVoCS 2016 is an annual Workshop.

Venue

CNR Congress Centre

Address : Via Gino Luzzatto, 24, Pisa PI, Italy

Official website of FMICS-AVoCS 2016
http://fmics-avocs.isti.cnr.it/