Systems able to process data as it comes in, typically without buffering delays.
group
License:
Creative Commons 2.5
Description:
The FORCES group
FORCES is designed to help protect the nation's critical infrastructure from attack and to ensure its robust, secure and efficient operation. Specifically, FORCES aims to increase the resilience of large-scale networked cyber-physical systems (CPS) in the key areas of energy delivery, transportation, and energy management in buildings.
project
Submitted by sprinkle on Mon, 04/25/2016 - 4:46pm
forum
Submitted by Anonymous on Thu, 03/31/2016 - 9:51am
CALL FOR PAPERS
colocated at 9th International Workshop on Numerical Software Verification (CAV 2016)
July 17-18, 2016 | Toronto, Ontario, Canada | http://nsv2016.pages.ist.ac.at/ Important Dates
forum
Submitted by Anonymous on Thu, 03/31/2016 - 9:50am
CALL FOR PAPERS
colocated at 9th International Workshop on Numerical Software Verification (CAV 2016)
July 17-18, 2016 | Toronto, Ontario, Canada | http://nsv2016.pages.ist.ac.at/ Important Dates
event
Submitted by Anonymous on Thu, 03/31/2016 - 9:47am
9th International Workshop on Numerical Software Verification (NSV 2016)
colocated at 9th International Workshop on Numerical Software Verification (CAV 2016)
forum
Submitted by Anonymous on Fri, 03/25/2016 - 12:30pm
event
Submitted by Anonymous on Fri, 03/25/2016 - 9:41am
1st Tutorial on Tools for Real-Time Systems (TuToR'16) co-located with CPSWeek 2016
forum
Submitted by Anonymous on Fri, 03/25/2016 - 9:32am
event
Submitted by Anonymous on Fri, 03/25/2016 - 9:30am
Symposium on Dependable Software Engineering: Theories, Tools and Applications Background and Objectives
