Cited By
View all- Incer IBenveniste ASangiovanni-Vincentelli ASeshia S(2022)HypercontractsNASA Formal Methods10.1007/978-3-031-06773-0_36(674-692)Online publication date: 24-May-2022
- Nuzzo PLi JSangiovanni-Vincentelli AXi YLi D(2019)Stochastic Assume-Guarantee Contracts for Cyber-Physical System DesignACM Transactions on Embedded Computing Systems10.1145/324321618:1(1-26)Online publication date: 25-Jan-2019
- Narwane GMillo JKrishna SRamesh S(2019)Design variability verification in Software Product LinesSādhanā10.1007/s12046-018-1009-544:1Online publication date: 2-Jan-2019
- Show More Cited By