The formalization of system engineering models and approaches.
event
Submitted by Anonymous on Thu, 07/23/2020 - 3:46pm
11th Conference on Decision and Game Theory for Security (GameSec 2020)
Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.
forum
Submitted by Anonymous on Wed, 02/10/2021 - 4:46pm
event
Submitted by Anonymous on Wed, 02/10/2021 - 4:45pm
tearline
Submitted by Xenofon Koutsoukos on Thu, 01/21/2021 - 11:55am
tearline
Submitted by Xenofon Koutsoukos on Thu, 01/21/2021 - 11:51am
forum
Submitted by Anonymous on Thu, 01/14/2021 - 8:48am
CALL FOR PAPERS
The 17th European Conference on Modelling Foundations and Applications (ECMFA 2021)
June 21-25 Bergen, Norway | colocated with STAF 2021
About ECMFA
Model-Based Engineering (MBE) is an approach to the design, analysis, and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality.
tearline
Submitted by volgy on Fri, 01/08/2021 - 12:19pm
tearline
Submitted by volgy on Thu, 10/22/2020 - 8:16am
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:15pm
Software Engineering and Formal Methods (SEFM 2020)
SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
SEFM 2020 will be an entirely virtual event
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:07pm
17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019)
SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:
Software Development Methods
