Author books / Книги автора Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)

book Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

pdf

Author: Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

pdf

Author: Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

pdf

Author: Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0