iFM 2014
11th International Conference on integrated Formal Methods, iFM 2014
Co-located with the 11th International Symposium on Formal Aspects of
Component Software, FACS 2014
Co-located with the 11th International Symposium on Formal Aspects of
Component Software, FACS 2014
Scope
=====
The TAP conference is devoted to the synergy of proofs and tests,
to the application of techniques from both sides and their combination
OVERVIEW
CALL FOR PAPERS
Affiliated to ABZ 2014
5th IEEE International Workshop on
Component-Based Design of
Sensors have become an essential part of computing systems and applications.
Fiuggi, Italy
Sunday July 13 - Saturday July 19, 2014
in conjunction with the 41st Internat