The formalization of system engineering models and approaches.
event
Submitted by Anonymous on Thu, 07/23/2020 - 4: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.
tearline
Submitted by volgy on Tue, 04/13/2021 - 4:43pm
forum
Submitted by Anonymous on Thu, 04/01/2021 - 11:10am
CALL FOR PAPERS
Journal of Computer Science and Technology: Special Section on Software Systems 2021
Introduction
forum
Submitted by Anonymous on Wed, 02/10/2021 - 5:46pm
event
Submitted by Anonymous on Wed, 02/10/2021 - 5:45pm
tearline
Submitted by Xenofon Koutsoukos on Thu, 01/21/2021 - 12:55pm
tearline
Submitted by Xenofon Koutsoukos on Thu, 01/21/2021 - 12:51pm
forum
Submitted by Anonymous on Thu, 01/14/2021 - 9: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.
