Author:
Shoukry Yasser,Nuzzo Pierluigi,Puggelli Alberto,Sangiovanni-Vincentelli Alberto L.,Seshia Sanjit A.,Tabuada Paulo
Funder
National Science Foundation
DARPA
TerraSwarm, one of six centers of STARnet
Semiconductor Research Corporation
MARCO
ExCAPE: Expeditions in Computer Augmented Program Engineering
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Cited by
200 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献