Você está em: Start > Publications > View > FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Map of Premises

Publication

Publications

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Title

Type

International Conference Proceedings Book

Date

2009

Title

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Type

International Conference Proceedings Book

Year

2009

Conference International

14th International Workshop on Formal Methods for Industrial Critical Systems

Eindhoven, NETHERLANDS, NOV 02-03, 2009

Other information

Language: English

Type (Professor's evaluation): Scientific

ISBN: 978-3-642-04569-1

Electronic ISBN: 978-3-642-04570-7

Collection: Lecture Notes in Computer Science

Vol.: 5825

Documents

We could not find any documents associated to the publication.

Publications included

Article in International Conference Proceedings Book

Almeida, JB (Author) (Other); Barbosa, M (Author) (Other); Pinto, JS (Author) (Other); Vieira, B (Author) (Other)

2009