Conference Information
ICFEM 2017 : International Conference on Formal Engineering Methods
http://ictt.xidian.edu.cn/icfem2017/
Submission Date:
2017-05-07 Extended
Notification Date:
2017-06-29
Conference Date:
2017-11-13
Location:
Xi an, China
Years:
19
CCF: c   QUALIS: b1   Viewed: 11206   Tracked: 15   Attend: 2

Conference Location
Advertisment
Call For Papers
Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal engineering methods and their practical applications will also be considered. 

    Abstraction, refinement and evolution
    Formal specification and modeling
    Program analysis
    Formal verification
    Model checking
    Formal approaches to software testing and inspection
    Formal methods for self-adaptive systems
    Formal methods for object-oriented systems
    Formal methods for component-based systems
    Formal methods for concurrent and real-time systems
    Formal methods for cloud computing
    Formal methods for cyber-physical systems
    Formal methods for software safety, security, reliability and dependability
    Tool development, integration and experiments involving verified systems
    Formal methods used in certifying products under international standards
    Formal model-based development and code generation
Last updated by Dou Sun in 2017-04-29
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20091213629.8%
2007381950%
20061083835.2%
2005743040.5%
20041103027.3%
2003913437.4%
20021085954.6%
Advertisment
Related Conferences
Related Journals
Recommendation