Modeling

The formalization of system engineering models and approaches.
event

Visible to the public  HSCC 2020
Apr 21, 2020 7:00 am - Apr 24, 2020 6:00 pm AEST

23rd ACM International Conference on Hybrid Systems: Computation and Control

April 21-24, 2020 | Sydney Australia | https://berkeleylearnverify.github.io/HSCC_2020/

forum

Visible to the public CfP: CyPhy '19 - Final Call

CALL FOR PAPERS - Final Call

Model-Based Design of Cyber-Physical Systems (CyPhy'19)

CyPhy'19 will be held as part of ESWeek in NYC, NY. The conference will take place at the Kimmel Center for University Life.