CPS: Synergy: Collaborative Research: Methodologies for Engineering with Plug-and-Learn Components: Formal Synthesis and Analysis Across Abstraction Layers

Amount Received: $350,000.00 (Sep '12)
Principal Investigator: Eric Matson