Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)
Texte intégral
Documents relatifs
Abstract This special issue is dedicated to the presentation of novel results in the scope of formal methods for the verification and testing of software.. The papers included in
3.2.8 IRMA: RWTH Aachen University, Medical Informatics, Aachen, Germany The IRMA group from the RWTH Aachen University Hospital 21 , in Aachen Germany submitted three baseline
Besides the authors of the papers, we would like to thank the members of the Program Committee of the workshop: Farhad Arbab (CWI, The Netherlands), Luis Barbosa (University of
Be- sides the authors of the papers, we would like to thank the members of the Program Committee of the workshop: Farhad Arbab (CWI, The Netherlands), Luis Barbosa (University of
This section contains extended versions of selected papers from the 16 th Interna- tional Workshop on Formal Methods for Industrial Critical Systems (FMICS’11).. The FMICS
It also helps to identify and address unanticipated issues better, optimize the process to improve the degree of benefit, realize the potential to make new modifications
All carried out an ex- cellent job during this demanding process: Stefan Blom (University of Twente, The Netherlands), Laura Brand´ an Briones (National University of
The topics covered in this special issue are the following: Domain Specific Languages, Component-based Systems and Architectures, Learning Finite State Machines, Construction