Editorial

No Thumbnail Available
File version
Author(s)
Merz, S
Pang, J
Dong, JS
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2016
Size
File type(s)
Location
License
Abstract

Formal methods for engineering software-intensive systems continue to attract the interest not only of academic researchers but also of practitioners that apply them to different domains in industry. The International Conference on Formal Engineering Methods (ICFEM) is a well-established forum for the presentation of research in all topics related to formal engineering methods, including verification and validation, software engineering, formal specification and modeling, software security and reliability. Contributions that advance the state of the art of applying formal methods in practice are particularly encouraged. The 16th edition of ICFEM took place in Luxembourg in November 2014.

Journal Title
Formal Aspects of Computing
Conference Title
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Theory of computation
Persistent link to this record
Citation
Merz, S; Pang, J; Dong, JS, Editorial, Formal Aspects of Computing, 2016, 28 (5), pp. 723-724
Collections