Author:
Incer Inigo,Benveniste Albert,Sangiovanni-Vincentelli Alberto,Seshia Sanjit A.
Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
2. Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. From Interface Automata to Hypercontracts;Lecture Notes in Computer Science;2022