Documents/NITRD2012/1: WeCompute/1.4.3.5: Reasoning and Management

1.4.3.5: Reasoning and Management

Principles for reasoning about and actively managing properties of complex, multiscale, realtime cyber-physical system interactions, including: safety, security, reliability, performance

Indicator(s):