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 himanshu on Mon, 10/11/2021 - 7:57pm
forum
Submitted by yusufsarwar on Mon, 08/16/2021 - 2:53am
IEEE SMARTCOMP 2021 .::. Call for Participation .::.
*********************************************************************************************************************
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.
Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.
https://www.smart-comp.info
forum
Submitted by Anonymous on Fri, 07/16/2021 - 10:26am
Starting: September 1, 2021
- AI Co-Designer for Model-based Design of Cyber-Physical Systems
- Learning with Improvisation for Multi-agent Autonomous Systems
The xLAB at the University of Pennsylvania is looking for motivated Postdoc researchers in the area of “Design of Safe Autonomous Systems” starting September 1, 2021. We are looking for proactive individuals to join our Autonomous Systems lab, bringing their excitement for scientific research in formal methods, control systems, optimization, machine learning and robotics with them.
tearline
Submitted by volgy on Thu, 07/08/2021 - 6:01am
tearline
Submitted by Xenofon Koutsoukos on Mon, 06/14/2021 - 1:58pm
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
