Go to:
Logótipo
Você está em: Start > Publications > View > FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
Map of Premises
Principal
Publication

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Title
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
Type
International Conference Proceedings Book
Year
2008
Conference International
12th International Workshop on Formal Methods for Industrial Critical Systems
Berlin, GERMANY, JUL 01-02, 2007
Other information
Language: English
Type (Professor's evaluation): Scientific
ISBN: 978-3-540-79706-7
Collection: Lecture Notes in Computer Science
Vol.: 4916
Documents
We could not find any documents associated to the publication.
Publications included
Reverse engineered formal models for GUI testingImported from Authenticus
Article in International Conference Proceedings Book
Ana C. R. Paiva (Author) (FEUP); Joao C. P. Faria (Author) (FEUP); Pedro M. C. Mendes (Author) (Other)
Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-14 at 22:45:38 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book