Real-Time Coordination

Coordinating individual systems to function dynamically and simultaneously in all situations.
event

Visible to the public  NSV 2016
Jul 17, 2016 7:00 am - Jul 18, 2016 6:00 pm EDT

Submitted by Anonymous on Thu, 03/31/2016 - 10:47am

9th International Workshop on Numerical Software Verification (NSV 2016)

colocated at 9th International Workshop on Numerical Software Verification (CAV 2016)

event

Visible to the public  TuToR'16
Apr 11, 2016 7:00 am - 6:00 pm CEST

Submitted by Anonymous on Fri, 03/25/2016 - 10:41am

1st Tutorial on Tools for Real-Time Systems (TuToR'16)

co-located with CPSWeek 2016

event

Visible to the public  SETTA 2016
Nov 09, 2016 11:30 am - Nov 11, 2016 12:30 pm CST

Submitted by Anonymous on Fri, 03/25/2016 - 10:30am

Symposium on Dependable Software Engineering: Theories, Tools and Applications

Background and Objectives